Programming Languages Research Group: Git

Fix make_docs.bat
Delete trailing spaces in .h files

.gitignore	[new file with mode: 0644]	blob
cds/container/details/make_skip_list_map.h		diff \| blob \| history
cds/container/mspriority_queue.h		diff \| blob \| history
cds/intrusive/mspriority_queue.h		diff \| blob \| history
cds/opt/make_options_std.h		diff \| blob \| history
tests/unit/map2/map_types.h		diff \| blob \| history
tools/make_docs.bat		diff \| blob \| history

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