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-02 20:30:17 -06:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
cad6025ce9900dbe29c36e62d7bfb721a9820955
pgadmin4
/
docs
/
en_US
/
images
/
preferences_misc_user_interface.png
T
Pravesh Sharma
08d250e5ef
1. Fixed issues reported while testing changes for editor preferences.
#2659
...
2. Updated preferences docs.
2025-06-19 16:09:39 +05:30
234 KiB
950x650px
Raw
History
Reference in new issue
View Git Blame
Copy Permalink
