diff options
author | 2016-05-17 14:40:53 -0400 | |
---|---|---|
committer | 2016-05-17 14:42:06 -0400 | |
commit | 49ac40c1e90a2a32a2728e36f02a0f3baa854c8b (patch) | |
tree | d094e3d761dd06b065c94f9265bc99afcce23dcc /Git/Filename.hs | |
parent | 323e3665c2526c6560f71efb013543dd068eb612 (diff) |
unify handling of unusual GIT_INDEX_FILE relative path
This is probably a git bug that stuck in its interface.
Diffstat (limited to 'Git/Filename.hs')
0 files changed, 0 insertions, 0 deletions