chiark / gitweb /
migrate_tree.pl: Add a signal handler, so the commit file is updated even on SIGINT.
authorSven Eden <yamakuzure@gmx.net>
Wed, 16 May 2018 06:06:32 +0000 (08:06 +0200)
committerSven Eden <yamakuzure@gmx.net>
Wed, 16 May 2018 06:06:32 +0000 (08:06 +0200)
commitf61424c1f64a9d7ea518a7a5bbda1990c5974d52
tree065f12b4f2366c81c49a49a4a5efd9b0a0d2bf0b
parentfaf2b3bc6745322d5079f13de002f6bcbc116a41
migrate_tree.pl: Add a signal handler, so the commit file is updated even on SIGINT.
pwx/last_mutual_commits.csv
pwx/migrate_tree.pl