wok-current view phppgadmin/stuff/phppgadmin.desktop @ rev 21835

updated re2c (0.13.5 -> 1.2.1)
author Hans-G?nter Theisgen
date Sat Sep 14 10:21:53 2019 +0100 (2019-09-14)
parents 8e6734b0589d
children
line source
1 [Desktop Entry]
2 Encoding=UTF-8
3 Name=PostgreSQL Databases
4 Name[fr]=Bases de données PostgreSQL
5 Icon=Introduction
6 Exec=browser http://127.0.0.1/phppgadmin/
7 Type=Application
8 Categories=Development;