This website requires JavaScript.
Explore
Help
Sign In
IntenseWebs
/
pgadmin4
Watch
3
Star
0
Fork
0
You've already forked pgadmin4
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
Files
208ee4da8c19a81b5907b436e2eb16a72591234e
pgadmin4
/
web
/
pgadmin
/
preferences
/
static
History
Akshay Joshi
7117ce6a22
Fix keyboard shortcuts layout in the preferences panel.
Fixes
#3407
2018-08-07 14:41:50 +01:00
..
css
Fix keyboard shortcuts layout in the preferences panel.
Fixes
#3407
2018-08-07 14:41:50 +01:00
js
Infrastructure and changes to the Query Tool for realtime preference handling. Refs
#3294
2018-07-05 11:38:43 +01:00
