IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2024-07-07 04:53:25 -05:00
Code Issues Packages Projects Releases Wiki Activity
23f36c5a41
pgadmin4/tools
History
Dave Page 23f36c5a41 Fix header.
2019-02-08 15:13:38 +00:00
..
copyright_updater.py Include rtf files in the copyright updater. 2019-01-07 14:38:12 +05:30
dependency_inventory.py Fix header. 2019-02-08 15:13:38 +00:00