Eric Kow wrote:
So Gwern just recently forwarded to me a mail from JGM saying that he
actually would accept 'darcsit' being used as an informal alias for
'gitit' when backed by darcs. So I've changed the template to use that
new name.
Maybe we should just leave the situation at that?
I would leave it at that. JGM was already generous in letting us use a
different name for his work. I would have preferred vcwiki but I think
that at this point it might be a bit rude to ask for another change.
Cheers,
Daniel.
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users
