From 78bf285037bc1d7338fc2e0b92f5ab99be6a57af Mon Sep 17 00:00:00 2001 From: Kareem Zidane Date: Thu, 8 Nov 2018 12:14:04 -0500 Subject: [PATCH] downgraded pylint --- Makefile | 2 +- update50 | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index b762784..79cdda3 100644 --- a/Makefile +++ b/Makefile @@ -8,7 +8,7 @@ VERSION_FILE := $(FILES_DIR)/etc/version50 PLUGINS := audioplayer browser cat debug gist hex info presentation simple statuspage theme NAME := ide50 -VERSION := 153 +VERSION := 154 define getplugin @echo "\nFetching $(1)..." diff --git a/update50 b/update50 index 65ad1a9..e69d49d 100755 --- a/update50 +++ b/update50 @@ -188,7 +188,7 @@ PYTHON_PACKAGES="check50==2.2.5 \ nltk \ passlib \ plotly \ - pylint \ + pylint==1.9.3 `# pylint-flask doesn't support pylint 2 yet` \ pylint_django \ pylint_flask \ pyyaml \