wok diff get-eclipse-pdt/stuff/get-eclipse-pdt @ rev 21287
updated sctp-tools (1.0.11 -> 1.0.17)
author | Hans-G?nter Theisgen |
---|---|
date | Tue Apr 16 16:26:35 2019 +0100 (2019-04-16) |
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 Tue Apr 16 16:26:35 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