include linting
authorChristian Grothoff <christian@grothoff.org>
Wed, 3 Apr 2019 12:39:03 +0000 (14:39 +0200)
committerChristian Grothoff <christian@grothoff.org>
Wed, 3 Apr 2019 12:39:03 +0000 (14:39 +0200)
commitda083d77e1b70766d7067abf6cbc06e6c2cb6341
tree55902287d40fe3e8d17f9a76dc138b38d7553553
parent10c1ecc2798ee90a0cb115942beef8f9cba57f0d
include linting
Makefile.am