chiark / gitweb /
migrate_tree.pl: Ensure that the commit file is always written on exit.
authorSven Eden <yamakuzure@gmx.net>
Wed, 16 May 2018 16:14:01 +0000 (18:14 +0200)
committerSven Eden <yamakuzure@gmx.net>
Wed, 16 May 2018 16:50:29 +0000 (18:50 +0200)
commited5366ff92fd79d07a52df1029b4b2cafdd36079
tree3bab427625b800cd318639f6ad6da9fe4c59ecad
parentf61424c1f64a9d7ea518a7a5bbda1990c5974d52
migrate_tree.pl: Ensure that the commit file is always written on exit.
pwx/last_mutual_commits.csv
pwx/migrate_tree.pl