IntenseWebs/pgadmin4
3
0 Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2026-10-14 17:11:59 -05:00
Code Issues Packages Projects Releases Wiki Activity
3,783 Commits 6 Branches 127 Tags
b716800474cddfa3bba8fa55c141db85dde56439
Commit Graph
1 Commits
Author SHA1 Message Date
Akshay Joshi 537c27a58e Use the full tab space for CodeMirror instances on dialogues where appropriate. Fixes #4540 2019-08-02 10:25:21 +01:00