diff options
author | 2017-09-04 13:52:22 -0400 | |
---|---|---|
committer | 2017-09-04 13:53:08 -0400 | |
commit | a60c23a82991738882aab1946206215c0758a34d (patch) | |
tree | 5de67d6003b265959db2b81194543cff802e5359 /Git/ConfigTypes.hs | |
parent | 5ce97e8c736c121d53af23d7036264868a461db8 (diff) |
track exported files in a sqlite database
Went with a separate db per export remote, rather than a single export
database. Mostly because there will probably not be a lot of separate
export remotes, and it might be convenient to be able to delete a given
remote's export database.
This commit was supported by the NSF-funded DataLad project.
Diffstat (limited to 'Git/ConfigTypes.hs')
0 files changed, 0 insertions, 0 deletions