chiark / gitweb /
check_tree.pl: Made check_musl() and check_name_reverts() safer.
authorSven Eden <yamakuzure@gmx.net>
Fri, 25 May 2018 17:24:58 +0000 (19:24 +0200)
committerSven Eden <yamakuzure@gmx.net>
Fri, 25 May 2018 17:29:56 +0000 (19:29 +0200)
commit7e582e6fab7ee2d5e29d23d61839928a4c365a61
treea61795b23689941fa39c433516d7b63f61014e0d
parentabf81110d0dd8d9d9b9ac8280dd4cc9e78944aff
check_tree.pl: Made check_musl() and check_name_reverts() safer.
Further policy.in consist of XML code, and are now handled by
(un)prepare_xml().
pwx/check_tree.pl