pgadmin4/web/pgadmin/browser/static
2018-07-24 16:31:44 +01:00
..
css Ensure CodeMirror always has a non-zero font size. Fixes #3480 2018-07-10 13:58:44 +01:00
js Realtime preference handling for the Dashboards and Debugger. Fixes #3294 2018-07-24 16:31:44 +01:00