chiark / gitweb /
check_tree.pl: Replace the source in creation patches with /dev/null.
authorSven Eden <yamakuzure@gmx.net>
Thu, 17 May 2018 05:38:55 +0000 (07:38 +0200)
committerSven Eden <yamakuzure@gmx.net>
Thu, 24 May 2018 16:50:09 +0000 (18:50 +0200)
commita983fba39cea47a7276683958bcb019a3b6a6367
tree870ed78bb7bb2091c92230302fa282fa364b378c
parented5366ff92fd79d07a52df1029b4b2cafdd36079
check_tree.pl: Replace the source in creation patches with /dev/null.
pwx/check_tree.pl