remove lint, added to toplevel Makefile.
authorng0 <ng0@n0.is>
Sat, 16 Nov 2019 13:21:05 +0000 (13:21 +0000)
committerng0 <ng0@n0.is>
Sat, 16 Nov 2019 13:21:05 +0000 (13:21 +0000)
commitbfb22f3f3d81a786c5698e92e80bb8da250e3faf
tree73b0812272276e6fd41de803bf55058493e085a1
parentc3b1cb6b5b22c140d0774fe7029b3ae98d01cd26
remove lint, added to toplevel Makefile.
lint/.gitignore [deleted file]
lint/Makefile.am [deleted file]