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
406ada10f54c6ccc86660a77d6d1ef0f0752efc3
pgadmin4
/
web
/
pgadmin
/
browser
/
server_groups
History
Khushboo Vashi
406ada10f5
Fixed EXEC script for procedures.
Fixes
#3850
2019-01-23 14:44:24 +05:30
..
servers
Fixed EXEC script for procedures.
Fixes
#3850
2019-01-23 14:44:24 +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
