Programming Languages Research Group: Git

Rename cds/container/michael_list_impl.h to cds/container/impl/michael_list.h

cds/container/impl/lazy_list.h		diff \| blob \| history
cds/container/impl/michael_kvlist.h		diff \| blob \| history
cds/container/impl/michael_list.h	[new file with mode: 0644]	blob
cds/container/michael_list_hp.h		diff \| blob \| history
cds/container/michael_list_hrc.h		diff \| blob \| history
cds/container/michael_list_impl.h	[deleted file]	blob \| history
cds/container/michael_list_ptb.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.