On Thu, Aug 6, 2009 at 8:14 PM, Trent W. Buck <[email protected]>wrote:
> [email protected] writes: > > > Thu Aug 6 06:27:06 EDT 2009 [email protected] > > * +script to run hlint on src/ > > Now that this work has been done (hooray!), some obligatory nitpicking. > > Why do the patch names start with a "+"? I can answer this part. Short-hand for "add" or "adds". It's not a convention we have adopted as a community, but I kind of like it because if it became a convention it would keep things short without being overly cryptic. I'll let Gwern et al answer the rest :) Jason
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
