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
Akshay Joshi 78f0c9c4a5 Ensure that owner should be ignored while comparing extensions. Fixes #7145 2022-02-02 11:25:07 +05:30
..
servers Ensure that owner should be ignored while comparing extensions. Fixes #7145 2022-02-02 11:25:07 +05:30
static Update copyright notices for 2022 2022-01-04 13:54:25 +05:30
templates/css Added shared server support for admin users. Fixes #4979 2020-09-03 12:59:28 +05:30
tests Update copyright notices for 2022 2022-01-04 13:54:25 +05:30
__init__.py Update copyright notices for 2022 2022-01-04 13:54:25 +05:30