Note also this variant
$ darcs unpull -p 'GREC'
Wed Feb 3 19:47:22 GMT 2010 Eric Kow <E.Y.Kow@brighton.ac.uk>
* GREC-NEG-RSE: forgotten bits from the setup.
Shall I unpull this patch? (1/36) [ynW...], or ? for more options: a
Really unpull all undecided patches? yes
WARNING: Doing a one-time conversion of pristine format.
This may take a while. The new format is backwards-compatible.
Pristine conversion done...
darcs failed: No such file AnchoredPath [Name "GREC-NEG-RSE",Name
"ToDo",Name "ls0_9"]
|