Diff

COPYING @ 917:f12f88b3d4a1

util.set: Rename private items container, optimise set.difference() and add set.intersection()
author Matthew Wild <mwild1@gmail.com>
date Mon, 23 Mar 2009 01:49:22 +0000
parent 767:13ae298c67d7
child 4303:9f10476e1af4
line wrap: on
line diff