From 3b420bbcf04fa03098f8ebec4ccb957ceae8c0de Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Wed, 5 Oct 2016 11:28:30 +0200
Subject: [PATCH] jenkins: fix copy/paste error

---
 pylint.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pylint.sh b/pylint.sh
index 62f95b1..babdf18 100755
--- a/pylint.sh
+++ b/pylint.sh
@@ -13,4 +13,4 @@ fi
 
 test -f pylint.out && cp pylint.out pylint.out.prev
 pylint -f parseable --rcfile ${PYLINT_RC} "$@" | tee pylint.out || /bin/true
-test -f pylint.out.prev && (diff pylint.out.prev pylint.out | grep '^[><]' | grep .py) || /bin/true¶
+test -f pylint.out.prev && (diff pylint.out.prev pylint.out | grep '^[><]' | grep .py) || /bin/true