pgadmin-org
/
pgadmin4
mirror of https://github.com/pgadmin-org/pgadmin4.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
pgadmin4/web/pgadmin/tools/schema_diff/static
History
Pravesh Sharma 5abd9e3c5b
Fixed an issue where tools settings changed by the users were not restored on application relaunch. #8988 		2026-02-09 10:54:53 +05:30
..
img Updated the JS dependencies to the latest 2021-02-10 12:47:52 +05:30
js Fixed an issue where tools settings changed by the users were not restored on application relaunch. #8988 2026-02-09 10:54:53 +05:30