chiark / gitweb /
check_tree.pl: Do not allow diff to move name reverts into a mask
authorSven Eden <yamakuzure@gmx.net>
Wed, 30 May 2018 05:47:36 +0000 (07:47 +0200)
committerSven Eden <yamakuzure@gmx.net>
Wed, 30 May 2018 05:48:48 +0000 (07:48 +0200)
commita5d0b62e01da961f60031c4a72bc997be510ebc4
treeecab3a95e578e048e357cdb0c8ad11194ddb1897
parentc14ba9c0a315a703d5af929add25649d26438a6e
check_tree.pl: Do not allow diff to move name reverts into a mask
block.

Do not replace double dashes in XML comments, that are either the
comment start or end.
pwx/check_tree.pl