diff options
author | 2013-11-15 13:40:12 -0400 | |
---|---|---|
committer | 2013-11-15 13:40:12 -0400 | |
commit | a4ea1393cef234518bfa8dcaeb522259a485b414 (patch) | |
tree | 00202475625bbba86f0401479af1ba63bfe58eab /Utility/HumanNumber.hs | |
parent | 1ae9cd20deea16afd49fc8ea2fcb62bb0015027e (diff) |
Fix direct mode merge bug when a direct mode file was deleted and replaced with a directory. An ordering problem caused the directory to not get created in this case. Thanks to Tim for the test cases.
Diffstat (limited to 'Utility/HumanNumber.hs')
0 files changed, 0 insertions, 0 deletions