wok-current diff phppgadmin/stuff/phppgadmin.desktop @ rev 22857

updated gmp and gmp-dev (6.1.2 -> 6.2.0)
author Hans-G?nter Theisgen
date Thu Feb 20 14:33:27 2020 +0100 (2020-02-20)
parents 8e6734b0589d
children
line diff
     1.1 --- a/phppgadmin/stuff/phppgadmin.desktop	Mon Nov 01 10:51:38 2010 +0100
     1.2 +++ b/phppgadmin/stuff/phppgadmin.desktop	Thu Feb 20 14:33:27 2020 +0100
     1.3 @@ -2,7 +2,7 @@
     1.4  Encoding=UTF-8
     1.5  Name=PostgreSQL Databases
     1.6  Name[fr]=Bases de données PostgreSQL
     1.7 -Icon=/usr/share/phppgadmin/images/themes/default/Introduction.png
     1.8 +Icon=Introduction
     1.9  Exec=browser http://127.0.0.1/phppgadmin/
    1.10  Type=Application
    1.11  Categories=Development;