wok-6.x diff pgadmin/stuff/applications/pgadmin3.desktop @ rev 22223

updated xorg-libXrandr and xorg-libXrandr-dev (1.4.1 -> 1.5.2)
author Hans-G?nter Theisgen
date Mon Nov 11 17:17:53 2019 +0100 (2019-11-11)
parents 91491c1bd7b6
children
line diff
     1.1 --- a/pgadmin/stuff/applications/pgadmin3.desktop	Sat Jul 11 17:13:21 2009 +0200
     1.2 +++ b/pgadmin/stuff/applications/pgadmin3.desktop	Mon Nov 11 17:17:53 2019 +0100
     1.3 @@ -2,7 +2,7 @@
     1.4  Encoding=UTF-8
     1.5  Name=pgAdmin III
     1.6  Exec=pgadmin3
     1.7 -Icon=/usr/share/icons/pgadmin3.png
     1.8 +Icon=pgadmin3
     1.9  Type=Application
    1.10  Categories=Application;Development;
    1.11  MimeType=text/html