--- gretools.desktop.in~ 2004-06-10 19:48:58.000000000 +0200 +++ gretools.desktop.in 2009-01-06 15:18:07.000000000 +0100 @@ -5,6 +5,6 @@ Exec=gretools Terminal=false Type=Application -Icon=gretools.png +Icon=gretools StartupNotify=false -Categories=GNOME;Application;Education; +Categories=GNOME;GTK;Education; --- gretools.desktop~ 2004-06-10 19:48:59.000000000 +0200 +++ gretools.desktop 2009-01-06 15:18:59.000000000 +0100 @@ -5,6 +5,6 @@ Exec=gretools Terminal=false Type=Application -Icon=gretools.png +Icon=gretools StartupNotify=false -Categories=GNOME;Application;Education; +Categories=GNOME;GTK;Education;