Emmanuel Rosa b6e15bde7a pgadmin: make desktop item ... This change adds the .desktop file so that pgAdmin shows up in the menu system of desktop environments (ex. GNOME, XFCE, etc). Closes #27067		2017-07-09 15:04:47 -04:00
..
default.nix	pgadmin: make desktop item	2017-07-09 15:04:47 -04:00