diff options
| author | ng0 <ng0@n0.is> | 2019-11-16 13:21:05 +0000 |
|---|---|---|
| committer | ng0 <ng0@n0.is> | 2019-11-16 13:21:05 +0000 |
| commit | bfb22f3f3d81a786c5698e92e80bb8da250e3faf (patch) | |
| tree | 73b0812272276e6fd41de803bf55058493e085a1 /lint/.gitignore | |
| parent | c3b1cb6b5b22c140d0774fe7029b3ae98d01cd26 (diff) | |
| download | gnunet-bfb22f3f3d81a786c5698e92e80bb8da250e3faf.tar.gz gnunet-bfb22f3f3d81a786c5698e92e80bb8da250e3faf.zip | |
remove lint, added to toplevel Makefile.
Diffstat (limited to 'lint/.gitignore')
| -rw-r--r-- | lint/.gitignore | 1 |
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 @@ | |||
| 1 | checkbashisms.pl \ No newline at end of file | ||