# the copyright is in debian/pgadmin3-data.copyright
pgadmin3 source: no-debian-copyright
