pgadmin-org
/
pgadmin4
mirror of https://github.com/pgadmin-org/pgadmin4.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
pgadmin4/web/pgadmin/static/js/codemirror/addon
History
Aditya Toshniwal c64eb3507c Make code folding case insensitive in the code mirror. Fixes #4264 2021-08-23 16:16:20 +05:30
..
fold Make code folding case insensitive in the code mirror. Fixes #4264 2021-08-23 16:16:20 +05:30