Dear Florian,
I just confirmed that I get the same error message for my default
afp-devel clone (i.e., it used to work with
afp.hg.sourceforge.net/hgroot/afp/afp).
cheers
chris
On 03/23/2013 07:01 PM, Florian Haftmann wrote:
cf. doc/maintenance.html:
Check out the archive from the mercurial repository with:
hg clone ssh://<login>@afp.hg.sourceforge.net/hgroot/afp/afp afp-devel
But
hg pull ssh://[email protected]/hgroot/afp/afp
yields
Remote: abort: There is no Mercurial repository here (.hg not found)!
I'm stymied…
Thanks for any hint,
Florian
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
