chiark / gitweb /
tools/check-includes.pl : Prepared for check-tree.pl handling.
authorSven Eden <yamakuzure@gmx.net>
Tue, 6 Mar 2018 07:34:00 +0000 (08:34 +0100)
committerSven Eden <yamakuzure@gmx.net>
Wed, 7 Mar 2018 16:40:19 +0000 (17:40 +0100)
commitc477f8d4b5a31f89ee5bbd75218a24f276c33175
tree2886f56a547c537c6e9139b1b3a1bb4496793fe0
parentf0aaf39253ab9dc1abb1c4e54115e4ea373d9a55
tools/check-includes.pl : Prepared for check-tree.pl handling.
tools/check-includes.pl