Programming Languages Research Group: Git

Move michael_set_base.h from cds/container to cds/container/details

cds/container/details/michael_map_base.h		diff \| blob \| history
cds/container/details/michael_set_base.h	[new file with mode: 0644]	blob
cds/container/michael_set.h		diff \| blob \| history
cds/container/michael_set_base.h	[deleted file]	blob \| history
cds/container/michael_set_nogc.h		diff \| blob \| history
cds/container/michael_set_rcu.h		diff \| blob \| history
projects/Win/vc12/cds.vcxproj		diff \| blob \| history
projects/Win/vc12/cds.vcxproj.filters		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.