diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-01-14 15:36:33 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-01-14 15:36:33 -0400 |
| commit | e6f32bd11c94221f82fe9acf6ecb74be2fab4a76 (patch) | |
| tree | f52a5aa501875340c05f34c151fd027036cff83a /Option.hs | |
| parent | 44b6bc589b6e2219cd3a4cf57fd2dd30068b2744 (diff) | |
Fix a long-standing bug that could cause the wrong index file to be used when committing to the git-annex branch, if GIT_INDEX_FILE is set in the environment. This typically resulted in git-annex branch log files being committed to the master branch and later showing up in the work tree. (These log files can be safely removed.)
Diffstat (limited to 'Option.hs')
0 files changed, 0 insertions, 0 deletions