Programming Languages Research Group: Git

Move cds/intrusive/michael_set_base.h to cds/intrusive/details directory

cds/container/michael_set_base.h		diff \| blob \| history
cds/intrusive/details/michael_set_base.h	[new file with mode: 0644]	blob
cds/intrusive/michael_set.h		diff \| blob \| history
cds/intrusive/michael_set_base.h	[deleted file]	blob \| history
cds/intrusive/michael_set_nogc.h		diff \| blob \| history
cds/intrusive/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.