From e341526f462b04d8b6126aec4572b04bc31a4f6a Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Thu, 4 Dec 2014 09:26:11 -0800
Subject: [PATCH] Raise line limit to 4000 for miniedit.py (see note)

Future versions of pylint will allow this to be disabled
in the file itself, so we can drop the limit back to
1500 or something more reasonable!!
---
 .pylint | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.pylint b/.pylint
index 469a744c..c17e6438 100644
--- a/.pylint
+++ b/.pylint
@@ -267,7 +267,8 @@ int-import-graph=
 max-line-length=80
 
 # Maximum number of lines in a module
-max-module-lines=1500
+# XXX 1500 -> 4000 for miniedit.py
+max-module-lines=4000
 
 # String used as indentation unit. This is usually " " (4 spaces) or "\t" (1
 # tab).
-- 
GitLab