Download:
Patch
child 191:d4fb20496675
parent 189:4d25a227dc8b
190:010899b21c6a
Anton Shestakov <av6@dwimlabs.net>, Sat, 30 Jul 2016 13:35:44 +0800
checker: some linters could be requested, but skipped
1 файлов изменено, 1 вставок(+), 1 удалений(-) [+]
checker.py file | annotate | diff | comparison | revisions 
--- a/checker.py	Sat Jul 30 13:05:59 2016 +0800
+++ b/checker.py	Sat Jul 30 13:35:44 2016 +0800
@@ -223,7 +223,7 @@
         if name not in distinct:
             distinct.append(name)
 
-    print('# C&O linters requested: {}'.format(' '.join(distinct)))
+    print('# C&O installing linters: {}'.format(' '.join(distinct)))
 
     linter_config = {}