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
1e1a9f2cf4a76a4761bad780317b0908a565ee00
pgadmin4
/
web
/
pgadmin
/
static
/
bundle
History
Dave Page
1e1a9f2cf4
Add controls and shortcuts for commenting/uncommenting code in the SQL Editor.
Fixes
#2456
.
...
Take the opportunity to tidy up the menus and add access keys to appropriate buttons.
2017-07-19 11:43:45 +01:00
..
app.js
Add missing new files from the previous commit. Ooops.
2017-07-18 15:14:59 +01:00
browser.js
Add missing new files from the previous commit. Ooops.
2017-07-18 15:14:59 +01:00
codemirror.js
Add controls and shortcuts for commenting/uncommenting code in the SQL Editor.
Fixes
#2456
.
2017-07-19 11:43:45 +01:00
slickgrid.js
Add a missing dependency.
2017-07-18 16:30:18 +01:00