chiark / gitweb /
check_tree.pl: While unpreparing shell: comment comment lines and do
authorSven Eden <yamakuzure@gmx.net>
Tue, 15 May 2018 15:49:48 +0000 (17:49 +0200)
committerSven Eden <yamakuzure@gmx.net>
Wed, 16 May 2018 05:05:05 +0000 (07:05 +0200)
commit8a1c279b7d47e3c6a9b95301569b811223ada750
tree5b4720d20f632eef000ffe4b12823cd2610b43ef
parentaa198ccbddd87297301bde8b1ba7580f23094981
check_tree.pl: While unpreparing shell: comment comment lines and do
not add '# ' prefixes to mask blocks in xml patch hunks.
pwx/check_tree.pl