Martin Weinelt 9bb92e48ef pgadmin3: drop ... The package version is 6y old and was last maintained in 2017. By now we have pgadmin4 packaged so there is no reason to keep this around.		2022-03-30 23:44:18 +02:00
..
manual	pgadmin3: drop	2022-03-30 23:44:18 +02:00
varlistentry-fixer.rb	nixos/doc/*: fix indentation	2020-11-12 14:24:00 +10:00
xmlformat.conf	doc: Disable wrapping source	2019-09-18 21:17:52 +02:00