2 Commits

Include renames

Author	SHA1	Message	Date
Peter Dimov	2274150ea0	Make primary templates in set.hpp empty instead of undefined	2019-01-08 02:39:07 +02:00
Peter Dimov	a9b36f58ae	Move mp_copy_if, mp_remove_if to separate headers	2019-01-07 20:44:50 +02:00