New helper function: elmo-union
authorvitaly <vitaly>
Tue, 26 May 2009 15:04:41 +0000 (15:04 +0000)
committervitaly <vitaly>
Tue, 26 May 2009 15:04:41 +0000 (15:04 +0000)
Makes a union of two possibly unsorted lists. This function is needed
for partial update, I forgot to include it...


No differences found