Dan Brown b09ea76b8d Renamed properties input option as INI ... - Also made INI be recognised as the codemirror "Properties" format.		2019-10-17 21:16:55 +01:00
..
animations.js
code.js	Renamed properties input option as INI	2019-10-17 21:16:55 +01:00
dates.js
dom.js
drawio.js
events.js
http.js
translations.js
util.js