safety checks for lint-man.sh
authorng0 <ng0@n0.is>
Mon, 4 Mar 2019 14:37:50 +0000 (14:37 +0000)
committerng0 <ng0@n0.is>
Mon, 4 Mar 2019 14:38:06 +0000 (14:38 +0000)
commit25af6d913578ed7176d22d0eb187ad2a70d49374
treed11692b116e52f32fdf4db80efc90603952f0f50
parent5d87f45cf44826eff5f308ea59f7e708f7d7514f
safety checks for lint-man.sh
Makefile.am
contrib/scripts/lint-man.sh