pgadmin4/web/pgadmin/preferences/static/js
2018-04-03 14:52:13 +01:00
..
preferences.js Add the ability to enable/disable UI animations. Fixes #1978 2018-04-03 14:52:13 +01:00