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/model
History
Pravesh Sharma 62eb330423
Introduced an ‘Editor’ preferences category and migrated all editor related settings into it. #8861 		2025-07-28 14:09:16 +05:30
..
__init__.py Introduced an ‘Editor’ preferences category and migrated all editor related settings into it. #8861 2025-07-28 14:09:16 +05:30