2
0
mirror of https://github.com/boostorg/mp11.git synced 2026-02-21 15:12:29 +00:00
Files
mp11/tools/single-header.bat
2017-06-01 17:17:31 +03:00

1 line
64 B
Batchfile

python2.7 tools\single-header.py > include\boost\mp11_single.hpp