2879adc551
Otherwise, if there's a file in the repo with a name matching the ref, git could get confused and the merge not work. |
||
---|---|---|
.. | ||
tests | ||
cabal-wrapper | ||
changelog | ||
compat | ||
control | ||
copyright | ||
doc-base | ||
menu | ||
NEWS | ||
rules |