From 1d7c789ecdbfbdd6108e4b0ca69d7e0c690fc765 Mon Sep 17 00:00:00 2001 From: Jake Howard Date: Mon, 17 Sep 2018 16:10:10 +0100 Subject: [PATCH] Remove old puppet lint file --- .puppet-lint.rc | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 .puppet-lint.rc diff --git a/.puppet-lint.rc b/.puppet-lint.rc deleted file mode 100644 index 1de88dc..0000000 --- a/.puppet-lint.rc +++ /dev/null @@ -1,4 +0,0 @@ ---fail-on-warnings ---no-arrow-alignment-check ---no-documentation-check ---no-variables_not_enclosed-check