This website requires JavaScript.
Explore
Help
Sign In
IntenseWebs
/
pgadmin4
Watch
3
Star
0
Fork
0
mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced
2026-11-01 15:53:03 -06:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
b2ec3a5accf4cb2c1f87809d4f8daa827ea9d5da
pgadmin4
/
web
/
pgadmin
/
model
T
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