diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-09-04 14:00:54 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-09-04 14:00:54 -0400 |
commit | 1e06157ead17eb9cb2b59f7bf84cb4da6f10e8bb (patch) | |
tree | a490f0dfda35273fa615a5df2aa1a249c88a0ff1 /Database/Types.hs | |
parent | 5083bca3809b27b6f9faddbefcbdc93b3ccd8226 (diff) |
flush queued changes to export db on exit
Diffstat (limited to 'Database/Types.hs')
0 files changed, 0 insertions, 0 deletions