Just forwarding a comment from Gwern on the bugtracker: - http://bugs.darcs.net/issue1373 - http://bugs.darcs.net/msg7364
| On a side note, does anyone know why this fails? I've read the manual but it | doesn't help much: | | [10:31 AM] 1.2Mb$ darcs replace | "https://secure.wikimedia.org/wikipedia/en/wiki/"; "Wikipedia" Threats.page | darcs failed: 'https://secure.wikimedia.org/wikipedia/en/wiki/' is not a valid | token! It'd be good to work out what's going on. I'm sure it's fairly straightforward, perhaps room for documentation tweaks? -- Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow> PGP Key ID: 08AC04F9
pgpcte6rPSOxJ.pgp
Description: PGP signature
_______________________________________________ darcs-users mailing list darcs-users@darcs.net http://lists.osuosl.org/mailman/listinfo/darcs-users
