feedc0de/boost_mp11
1
0
Fork 0
forked from boostorg/mp11
Code Pull Requests Activity
Files
8cee5a4ce06d3d7f74129a4a14b009c00a1114aa
boost_mp11/tools/single-header.bat
T

1 line
64 B
Batchfile
Raw Normal View History

Revert "Remove single header"
2020-05-24 18:52:08 +03:00
python2.7 tools\single-header.py > include\boost\mp11_single.hpp
Copy Permalink