From 3b1b7c03ea0c92ff15f7a0d3b76fe0a312a24b25 Mon Sep 17 00:00:00 2001 From: ng0 Date: Mon, 1 Apr 2019 14:19:46 +0000 Subject: [PATCH] ignore in lint/ --- lint/.gitignore | 1 + 1 file changed, 1 insertion(+) create mode 100644 lint/.gitignore 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 -- 2.25.1