summaryrefslogtreecommitdiff
path: root/lint/.gitignore
diff options
context:
space:
mode:
authorng0 <ng0@n0.is>2019-04-01 14:19:46 +0000
committerng0 <ng0@n0.is>2019-04-01 14:19:46 +0000
commit3b1b7c03ea0c92ff15f7a0d3b76fe0a312a24b25 (patch)
treeee98e261b663eb919039dc454639a30e963cb28e /lint/.gitignore
parentdcdd00d1378ca65397486c1f9653321f8daac268 (diff)
ignore in lint/
Diffstat (limited to 'lint/.gitignore')
-rw-r--r--lint/.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/lint/.gitignore b/lint/.gitignore
new file mode 100644
index 000000000..6dd860453
--- /dev/null
+++ b/lint/.gitignore
@@ -0,0 +1 @@
+checkbashisms.pl \ No newline at end of file