Am Sonntag, 11. Dezember 2005 18:28 schrieb Albert Reiner: > In general, I like the idea of `darcs replace` a lot.
Hello, I think that darcs replace isn't powerful enough. Changing identifiers can result in different layout of your code. If this happens, darcs replace doesn't help you. Or am I missing something? > [...] Best wishes, Wolfgang _______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
