pgadmin4/web/pgadmin/tools/schema_diff/static
2020-08-17 17:26:58 +05:30
..
css Fixed following schema diff issues: 2020-08-13 14:12:37 +05:30
img Added Schema Diff tool to compare two schemas and generate the difference script. 2020-01-10 15:42:09 +05:30
js Fixed schema diff issue when selecting any identical node. 2020-08-17 17:26:58 +05:30
scss Upgrade font awesome from v4 to v5. Fixes #5731 2020-08-13 12:04:00 +05:30