diff options
| author | ng0 <ng0@n0.is> | 2019-04-01 14:19:46 +0000 |
|---|---|---|
| committer | ng0 <ng0@n0.is> | 2019-04-01 14:19:46 +0000 |
| commit | 3b1b7c03ea0c92ff15f7a0d3b76fe0a312a24b25 (patch) | |
| tree | ee98e261b663eb919039dc454639a30e963cb28e | |
| parent | dcdd00d1378ca65397486c1f9653321f8daac268 (diff) | |
| download | gnunet-3b1b7c03ea0c92ff15f7a0d3b76fe0a312a24b25.tar.gz gnunet-3b1b7c03ea0c92ff15f7a0d3b76fe0a312a24b25.zip | |
ignore in lint/
| -rw-r--r-- | lint/.gitignore | 1 |
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 | |||