Oops, reply to all. > What does this change in the end ? You typically will have to > type make, won't you ?
Yes. Here's what it changes: many current and we hope, future developers who frequently need to jump to that file - which we think of as the make file - will be able to just type Mak <tab> like and not have to constantly be distracted by remembering to type GNUm <tab> and figure out how that is capitalized. Seems like a small thing, but it's a cost which every darcs hacker must constantly pay. _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
