This repository has been archived on 2023-03-18. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Penar Musaraj eae8b0465c DEV: Upgrade ACE Editor to 1.4.12, remove extra ACE files (#10431)

2020-08-13 21:53:27 -04:00

..

ace.js

…

ext-searchbox.js

…

mode-html.js

…

mode-scss.js

…

mode-sql.js

…

theme-chrome.js

…

worker-html.js

…