summaryrefslogtreecommitdiff
path: root/lint/.gitignore
diff options
context:
space:
mode:
authorng0 <ng0@n0.is>2019-11-16 13:21:05 +0000
committerng0 <ng0@n0.is>2019-11-16 13:21:05 +0000
commitbfb22f3f3d81a786c5698e92e80bb8da250e3faf (patch)
tree73b0812272276e6fd41de803bf55058493e085a1 /lint/.gitignore
parentc3b1cb6b5b22c140d0774fe7029b3ae98d01cd26 (diff)
remove lint, added to toplevel Makefile.
Diffstat (limited to 'lint/.gitignore')
-rw-r--r--lint/.gitignore1
1 files changed, 0 insertions, 1 deletions
diff --git a/lint/.gitignore b/lint/.gitignore
deleted file mode 100644
index 6dd860453..000000000
--- a/lint/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-checkbashisms.pl \ No newline at end of file