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-03 20:57:04 -06:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
57660d131f2ec6356f9d5bee2add91886d9329be
pgadmin4
/
web
/
pgadmin
/
preferences
/
static
T
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
