diff options
author | 2014-11-13 13:56:29 -0400 | |
---|---|---|
committer | 2014-11-13 13:56:29 -0400 | |
commit | 1210b5098e3e4212832128fdb59916d88090ab42 (patch) | |
tree | e8d197f7acbae93359c1f67e2915b8663f62ab27 /Git/UpdateIndex.hs | |
parent | 179dacc22ddf74a19cea3a830ba3404e7b8cb90f (diff) |
remove -- handling; this is already taken care of by the getopt processing
Diffstat (limited to 'Git/UpdateIndex.hs')
0 files changed, 0 insertions, 0 deletions