This website requires JavaScript.
Explore
Help
Sign In
IntenseWebs
/
pgadmin4
Watch
3
Star
0
Fork
0
You've already forked pgadmin4
mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced
2025-02-25 18:55:31 -06:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
614c66940ad1f58598184d4c7f37983b131a4629
pgadmin4
/
web
/
pgadmin
/
browser
/
server_groups
History
Dave Page
614c66940a
Add missing files.
2019-04-01 11:04:44 +01:00
..
servers
Add missing files.
2019-04-01 11:04:44 +01: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
