Peter Dimov 91735493d4 Update g++ 7.1 workaround to 7.2

2017-08-24 20:05:24 +03:00

..

mp11

Update g++ 7.1 workaround to 7.2

2017-08-24 20:05:24 +03:00

mp11.hpp

Do not include mpl.hpp in mp11.hpp

2017-07-20 19:16:41 +03:00