IntenseWebs/pgadmin4
3
0
Fork 0
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
4,411 Commits 5 Branches 109 Tags
32cdfa2969ac844e238e17ee6a3f73f7edb9993e
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