Programming Languages Research Group: Git

rename michael_kvlist_pth.h to michael_kvlist_dhp.h

cds/container/impl/michael_kvlist.h		diff \| blob \| history
cds/container/michael_kvlist_dhp.h	[new file with mode: 0644]	blob
cds/container/michael_kvlist_ptb.h	[deleted file]	blob \| history
projects/Win/vc12/cds.vcxproj		diff \| blob \| history
projects/Win/vc12/cds.vcxproj.filters		diff \| blob \| history
tests/test-hdr/map/hdr_michael_map_ptb.cpp		diff \| blob \| history
tests/test-hdr/ordered_list/hdr_michael_kv_ptb.cpp		diff \| blob \| history
tests/unit/map2/map_types.h		diff \| blob \| history

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