12.7.2 release

ChangeLog

VERSION

etc/build/build.xml

etc/license-worker/license.js

etc/mxgraph/mxClient.js

src/main/webapp/electron.js

src/main/webapp/index.html

src/main/webapp/js/app.min.js

src/main/webapp/js/diagramly/App.js

src/main/webapp/js/diagramly/Devel.js

src/main/webapp/js/diagramly/Dialogs.js

src/main/webapp/js/diagramly/DiffSync.js

src/main/webapp/js/diagramly/Editor.js

src/main/webapp/js/diagramly/EditorUi.js

src/main/webapp/js/diagramly/Extensions.js

src/main/webapp/js/diagramly/GraphViewer.js

src/main/webapp/js/diagramly/Init.js

src/main/webapp/js/diagramly/Menus.js

src/main/webapp/js/diagramly/Pages.js

src/main/webapp/js/extensions.min.js