pgadmin4/web/pgadmin/tools/schema_diff/static/js
Akshay Joshi 4f74609ecf Modified schema diff tool to compare two databases instead of two schemas. Fixes #5126 2020-08-10 15:13:34 +05:30
..
schema_diff.backform.js Modified schema diff tool to compare two databases instead of two schemas. Fixes #5126 2020-08-10 15:13:34 +05:30
schema_diff.js Added and fixed gettext usage for better translation coverage. Fixes #5284 2020-03-24 11:14:05 +05:30
schema_diff_hook.js 1) Improve wording for script header while generating the script using the schema diff tool. 2020-02-03 12:38:02 +05:30
schema_diff_ui.js Modified schema diff tool to compare two databases instead of two schemas. Fixes #5126 2020-08-10 15:13:34 +05:30