chiark / gitweb /
check_tree.pl: A few minor cleanups.
authorSven Eden <yamakuzure@gmx.net>
Wed, 30 May 2018 15:46:30 +0000 (17:46 +0200)
committerSven Eden <yamakuzure@gmx.net>
Wed, 30 May 2018 15:46:30 +0000 (17:46 +0200)
commitbdc879cfc239035b9f8f421434de547ebe9403a4
treeeccd82f68c3d0e3118868c0277ec846739230e6a
parent265d7ab7eeb85648dfa77158c654cb04648a2927
check_tree.pl: A few minor cleanups.
pwx/check_tree.pl