pgadmin-org
/
pgadmin4
mirror of https://github.com/pgadmin-org/pgadmin4.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
pgadmin4/web/pgadmin/browser/server_groups
History
Dave Page a9dad423f6 Fix the online help button on the resource group dialogue. Fixes #4052 2019-03-13 16:21:10 +00:00
..
servers Fix the online help button on the resource group dialogue. Fixes #4052 2019-03-13 16:21:10 +00:00
static Update copyright notices for 2019 2019-01-02 15:54:12 +05:30
tests Update copyright notices for 2019 2019-01-02 15:54:12 +05:30
__init__.py Proper error should be thrown when server group is created with existing name. Fixes #3693 2019-01-15 18:38:01 +05:30