Daniel Martí d0a10e05d9 lint: get rid of -p/--pedantic ... Only one check was left, and it's of little use anyway.		2015-06-07 14:05:29 +02:00
..
bash-completion	lint: get rid of -p/--pedantic	2015-06-07 14:05:29 +02:00