diff options
author | 2017-05-11 18:31:14 -0400 | |
---|---|---|
committer | 2017-05-11 18:31:14 -0400 | |
commit | 5137adfe728961cb03535a433d85a0f9f8fe6bc4 (patch) | |
tree | e08970c041f9b883a535f614c19c3630be94a9ec /Annex/AdjustedBranch.hs | |
parent | 7b4b95f9ac0e2a441881cc2108dc39c8888a4b18 (diff) |
rename to avoid name conflict
Diffstat (limited to 'Annex/AdjustedBranch.hs')
0 files changed, 0 insertions, 0 deletions