]> git.pld-linux.org Git - packages/devhelp.git/blob - devhelp-desktop.patch
64a0bfe39aec34d5ae1cfb16735d1791108cca73
[packages/devhelp.git] / devhelp-desktop.patch
1 diff -ur devhelp-0.12-orig/devhelp.desktop.in devhelp-0.12/devhelp.desktop.in
2 --- devhelp-0.12-orig/devhelp.desktop.in        2006-05-16 20:44:47.000000000 +0200
3 +++ devhelp-0.12/devhelp.desktop.in     2006-07-31 09:25:48.790555250 +0200
4 @@ -6,7 +6,7 @@
5  Terminal=false
6  Type=Application
7  Icon=devhelp.png
8 -Categories=GNOME;GTK;Application;Development;
9 +Categories=GTK;GNOME;Development;
10  StartupNotify=true
11  MimeType=application/x-devhelp;
12  X-GNOME-Bugzilla-Bugzilla=GNOME
This page took 0.043802 seconds and 2 git commands to generate.