| Diff file | gnome-art_0.2-5.diff.gz | |
|---|---|---|
| Size | 4216 | |
| MD5sum | d757c4bf8897e98aefd1706b4bbc278d | |
| ./debian only changes | view | download |
| patch | summary | view | raw |
|---|---|---|---|
| 01_fix_crash_314310.diff | gnome-splashscreen-manager/lib/gnome-splashscreen-manager/ui/main_window.rb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) |
view | download |
| 02_add_tooltips_379545.diff | gnome-art/lib/gnome-art/ui/main_window.rb | 11 ++++++++ gnome-splashscreen-manager/lib/gnome-splashscreen-manager/ui/main_window.rb | 13 +++++++++- 2 files changed, 23 insertions(+), 1 deletion(-) |
view | download |