Programming Languages Research Group: Git

Remove MichaelMap<gc::HRC> specializations

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

cds/container/michael_map.h		diff \| blob \| history
cds/container/michael_set.h		diff \| blob \| history
cds/intrusive/michael_set.h		diff \| blob \| history
projects/Win/vc12/hdr-test-map.vcxproj		diff \| blob \| history
projects/Win/vc12/hdr-test-map.vcxproj.filters		diff \| blob \| history
projects/Win/vc12/hdr-test-set.vcxproj		diff \| blob \| history
projects/Win/vc12/hdr-test-set.vcxproj.filters		diff \| blob \| history
tests/test-hdr/map/hdr_michael_map_lazy_hrc.cpp	[deleted file]	blob \| history
tests/test-hdr/set/hdr_intrusive_michael_set_hrc_lazy.cpp	[deleted file]	blob \| history
tests/test-hdr/set/hdr_michael_set_lazy_hrc.cpp	[deleted file]	blob \| history