pgadmin-org
/
pgadmin4
mirror of https://github.com/pgadmin-org/pgadmin4.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
3,240 Commits
15 Branches
122 Tags
367 MiB
Commit Graph

1 Commits (ee8fec6d7fbcfe529fa9b6e7dbf8e1fd95a71ba6)

Author SHA1 Message Date
Dave Page 2dd075161d Allow the UI layout to be fully locked or to prevent docking changes. Fixes #2653 2019-05-31 11:51:30 -04:00