remove old dev crud

2016-07-20 20:00:15 +01:00
parent 6b570ac18e
commit 4067f7e7e7
1 changed files with 0 additions and 10 deletions
@@ -1,10 +0,0 @@
-sudo: false
-addons:
-  apt:
-    sources:
-      - debian-sid
-    packages:
-      - shellcheck
-script:
-  - shellcheck --version
-  - find . -type f -name '*.sh' | while read file; do echo "Linting $file"; shellcheck $file || exit 1; done