[darcs-users] rename a patch

Manfred Lotz manfred.lotz at web.de
Tue Nov 30 18:23:14 UTC 2004


Hi there,
Is it possible to rename a patch?


-- 
Manfred





More information about the darcs-users mailing list