[darcs-users] Re: [darcs #473] "unpull": I do not think it means what you think it means
Tommy Pettersson
ptp at lysator.liu.se
Sun Jul 31 18:30:44 UTC 2005
Last time, I remember, 'drop' was a winning new name for
'unpull'.
--
Tommy Pettersson <ptp at lysator.liu.se>
More information about the darcs-users
mailing list