diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-07-29 18:40:40 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-07-29 18:41:41 -0400 |
| commit | a2dfbf18972339929c49cb77e76cf246ada2acdc (patch) | |
| tree | b37fa5150d4a5c7ab76b58181fbd900157d915cb /Git/CurrentRepo.hs | |
| parent | e55bc5640997362f1f77a5423f7556b307377f61 (diff) | |
better type for Retriever
Putting a callback in the Retriever type allows for the callback to
remove the retrieved file when it's done with it.
I did not really want to make Retriever be fixed to Annex Bool,
but when I tried to use Annex a, I got into some type of type mess.
Diffstat (limited to 'Git/CurrentRepo.hs')
0 files changed, 0 insertions, 0 deletions