This website requires JavaScript.
Explore
Help
Sign In
IntenseWebs
/
pgadmin4
Watch
3
Star
0
Fork
0
mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced
2026-09-03 20:52:57 -05:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
4,184
Commits
30
Branches
126
Tags
72f0e87367cfd052d9c6df9e606d80157e80c42e
Commit Graph
1 Commits
Include renames
Author
SHA1
Message
Date
Dave Page
13d2f9131d
Replace the runtime themes with ones that don't have sizing issues.
Fixes
#5554
2020-07-17 15:31:04 +05:30