[darcs-users] darcs patch: Use standard library function `union` instead of custo...
naur at post11.tele.dk
Thu Mar 12 06:39:02 UTC 2009
On Thursday 12 March 2009 06:14, Trent W.Buck wrote:
> Replaces rejected patch that refactored add_to_list.
> Thu Mar 12 04:41:19 UTC 2009 Trent W. Buck <trentbuck at gmail.com>
> * Use standard library function `union` instead of custom `add_to_list`.
I am not sure whether this is important, but with union, the element will be
added at the beginning, not at the end, as with add_to_list. SInce this is
the user prefrerences file being manipulated here (I think), this change will
be visible to users.
Thanks and best regards
More information about the darcs-users