* keep our custom css-lint.js, no changes in upstream
* use newer show-hint.js - {completeSingle: true} was broken in 5.2.0
* use newer search.js - replace() didn't use previous search query in 5.2.0
|
||
|---|---|---|
| .. | ||
| brace-fold.js | ||
| comment-fold.js | ||
| foldcode.js | ||
| foldgutter.css | ||
| foldgutter.js | ||