chiark / gitweb /
migrate_tree.pl: Only write a new commits file, if the old was finished reading or...
authorSven Eden <yamakuzure@gmx.net>
Thu, 17 May 2018 17:30:11 +0000 (19:30 +0200)
committerSven Eden <yamakuzure@gmx.net>
Thu, 24 May 2018 16:50:09 +0000 (18:50 +0200)
commitce5bb30a917a12d478c052efe92ff5d7810c9efe
tree8d3ecfe36d6f73c839c5e7eb417d678c4e7faf8c
parentfb01e450725b83bdae5e4863ecd74cf2a53fc6e8
migrate_tree.pl: Only write a new commits file, if the old was finished reading or none existed.
pwx/migrate_tree.pl