wok diff get-eclipse-pdt/stuff/get-eclipse-pdt @ rev 20995
updated gputils (0.14.3 -> 1.5.0.1)
author | Hans-G?nter Theisgen |
---|---|
date | Thu Mar 07 17:47:51 2019 +0100 (2019-03-07) |
parents | e5dde73f1ac9 |
children |
line diff
1.1 --- a/get-eclipse-pdt/stuff/get-eclipse-pdt Sun Feb 28 19:46:30 2010 +0000 1.2 +++ b/get-eclipse-pdt/stuff/get-eclipse-pdt Thu Mar 07 17:47:51 2019 +0100 1.3 @@ -118,7 +118,7 @@ 1.4 Comment=PHP Development Tools 1.5 Comment[fr]=Outils de developpement PHP 1.6 Exec=/usr/lib/eclipse/eclipse 1.7 -Icon=eclipse.xpm 1.8 +Icon=eclipse 1.9 Terminal=false 1.10 Categories=GTK;Development;IDE; 1.11 StartupNotify=true