chiark / gitweb /
check_tree.pl: Added handling of xml files.
authorSven Eden <yamakuzure@gmx.net>
Fri, 9 Mar 2018 06:53:40 +0000 (07:53 +0100)
committerSven Eden <yamakuzure@gmx.net>
Fri, 9 Mar 2018 06:53:40 +0000 (07:53 +0100)
commita847c4b07c5c1c14d484bc38959d7d3cb782dac8
treea171cca3c39b3e27a5f90648e5f35e27c1cb27f6
parent6a24b8e6be5393c5ad37a67d200ce60d19f95903
check_tree.pl: Added handling of xml files.
pwx/check_tree.pl
src/login/org.freedesktop.login1.policy.in
tools/make-man-index.py