pgadmin4/web/pgadmin/browser/server_groups
2019-01-17 13:27:07 +05:30
..
servers Add right border on selected tree item. 2019-01-17 13:27:07 +05:30
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