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
ab9a3a57adfb2caf13cc685e1ecf4c910d834e4a
pgadmin4
/
web
/
pgadmin
/
browser
/
server_groups
History
Dave Page
ab9a3a57ad
Make the Query Tool history persistent across sessions.
Fixes
#4017
2019-03-13 13:37:34 +00:00
..
servers
Make the Query Tool history persistent across sessions.
Fixes
#4017
2019-03-13 13:37:34 +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
