/dev-db/pgadmin3/files/

• ../
• cflags.patch
• ssl-detect-r1.patch
• ssl-detect.patch