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/erd/static
History
Rohit Bhati 52c550e3fe
Fix an issue where ERD tool should to be able to open saved pgerd file when using keyboard shortcuts. #7688 		2024-08-13 14:30:58 +05:30
..
js Fix an issue where ERD tool should to be able to open saved pgerd file when using keyboard shortcuts. #7688 2024-08-13 14:30:58 +05:30