diff options
author | 2016-04-20 13:21:56 -0400 | |
---|---|---|
committer | 2016-04-20 13:21:56 -0400 | |
commit | 1f9967298f2bb98dd216c08ce049192737a1cf9f (patch) | |
tree | e6cb2e0141afefc28fefeabc58bc2ba9da9fbef8 /CmdLine/GitAnnex.hs | |
parent | 542461028d3700caded7c9940a4dde11f7e3f59a (diff) |
reinject: When src file's content cannot be verified, leave it alone, instead of deleting it.
Diffstat (limited to 'CmdLine/GitAnnex.hs')
0 files changed, 0 insertions, 0 deletions