devops: Drop a timestamp when interrupted.
authorMatt Birkholz <matt@birchwood-abbey.net>
Fri, 22 Jun 2018 19:07:37 +0000 (12:07 -0700)
committerMatt Birkholz <matt@birchwood-abbey.net>
Fri, 22 Jun 2018 19:07:37 +0000 (12:07 -0700)
commita905b1af124f21342461de5b838822b2fcd275a0
tree46619016f71ad6d1dca8baf97da5c4ae955b6001
parentaf81830f67b1f7a7c200e90b1f401ef93a3441f5
devops: Drop a timestamp when interrupted.
src/devops/devops.scm