From 327aded3b5762640cb60c31ae79d0583a8d55fa7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20D=C3=A4schle?= Date: Tue, 4 Sep 2018 08:25:59 +0200 Subject: [PATCH] Delete jslint.xml --- .idea/jsLinters/jslint.xml | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 .idea/jsLinters/jslint.xml diff --git a/.idea/jsLinters/jslint.xml b/.idea/jsLinters/jslint.xml deleted file mode 100644 index 742a5fe03..000000000 --- a/.idea/jsLinters/jslint.xml +++ /dev/null @@ -1,9 +0,0 @@ - - - - - \ No newline at end of file