trick/include
2019-09-23 14:25:27 -05:00
..
trick remove deprecated std::ptr_fun and std::not1 closes #864 2019-09-23 14:25:27 -05:00