chiark / gitweb /
check_tree.pl: Enhance the final processing of shell and xml files
authorSven Eden <yamakuzure@gmx.net>
Thu, 24 May 2018 16:46:24 +0000 (18:46 +0200)
committerSven Eden <yamakuzure@gmx.net>
Thu, 24 May 2018 16:50:09 +0000 (18:50 +0200)
commita5fd5cdbeb0c2796ef57e2cfb2115a51fa961536
treefd2c8f72b5f4e731213555dba2311edc3aeceb62
parente692365d60f7c0aacc4f3c0d1ef1b517d9429274
check_tree.pl: Enhance the final processing of shell and xml files
and their patches by remembering mask changes that get pruned from
the hunks.
pwx/check_tree.pl