2 commits

Author	SHA1	Message	Date
w0rp	8264e265a8	Make the check-supported-tools-tables script work on more machines	2017-08-29 17:00:09 +01:00
w0rp	8e3c1dbd11	Fix - #883 Document linting behavior better, sync up the lists of supported tools, andautomatically demand that they stay in sync	2017-08-28 22:05:12 +01:00