diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-12-11 13:09:28 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-12-11 13:09:28 -0400 |
commit | cfb747652dff98321d66dc162edc473ad01afd9a (patch) | |
tree | 6a23fc9ecc6b7e48db74dfd9932e018ab9eaafe1 /Utility/Batch.hs | |
parent | 1a454dc9882737120f7fafe3c2a0bac97ea67433 (diff) |
followup and closd
Diffstat (limited to 'Utility/Batch.hs')
0 files changed, 0 insertions, 0 deletions