Andy Richardson 5ba85a4045 Fix linting types which should be optional (#36445) ... * Set linting 'async' rule to optional https://github.com/codemirror/CodeMirror/blob/master/addon/lint/lint.js#L148 * Set 'getAnnotations' to optional https://github.com/codemirror/CodeMirror/blob/master/addon/lint/lint.js#L147 * change 'hasGutters' to optional https://github.com/codemirror/CodeMirror/blob/master/addon/lint/lint.js#L180		2019-07-01 13:28:30 -07:00
..
addon	[@types/codemirror] Add boolean type to autoCloseBrackets option (#36323)	2019-06-24 12:51:17 -07:00
test	[@types/codemirror] Add boolean type to autoCloseBrackets option (#36323)	2019-06-24 12:51:17 -07:00
codemirror-comment.d.ts
codemirror-panel.d.ts
codemirror-runmode.d.ts
codemirror-showhint.d.ts
codemirror-tern.d.ts
index.d.ts	Fix linting types which should be optional (#36445)	2019-07-01 13:28:30 -07:00
searchcursor.d.ts
tsconfig.json
tslint.json