fe5e25eec7
This is not a complete fix. For one, git remote will happily go add a remote that has the same name as an existing special remote. For another, enableremote will enable a special remote over top of an existing git remote. And, also, the webapp might. |
||
---|---|---|
.. | ||
tests | ||
cabal-wrapper | ||
changelog | ||
compat | ||
control | ||
copyright | ||
doc-base | ||
menu | ||
NEWS | ||
rules |