From 0a9004eb587c8143a65a5eeb48171681e8552a6b Mon Sep 17 00:00:00 2001
From: Nick Chang <nnchang01@gmail.com>
Date: Mon, 10 Aug 2015 17:44:44 -0700
Subject: [PATCH] CodeMirror: EditorConfiguration.lint can be boolean

---
 codemirror/codemirror.d.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/codemirror/codemirror.d.ts b/codemirror/codemirror.d.ts
index 86c01141e..06361684d 100644
--- a/codemirror/codemirror.d.ts
+++ b/codemirror/codemirror.d.ts
@@ -787,7 +787,7 @@ declare module CodeMirror {
         viewportMargin?: number;
 
         /** Optional lint configuration to be used in conjunction with CodeMirror's linter addon. */
-        lint?: LintOptions;
+        lint?: boolean | LintOptions;
     }
 
     interface TextMarkerOptions {