Last time, I remember, 'drop' was a winning new name for 'unpull'. -- Tommy Pettersson <[EMAIL PROTECTED]>
_______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
