boostorg/mp11
1
0
Fork 1
mirror of https://github.com/boostorg/mp11.git synced 2025-12-04 15:59:19 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
develop
mp11/tools/single-header.bat

1 line
64 B
Batchfile
Raw Permalink Normal View History

Revert "Remove single header" This reverts commit f24d1ca5df53fe9f70ae359a3b8ecd4bb86bcef2.
2020-05-24 18:52:08 +03:00
python2.7 tools\single-header.py > include\boost\mp11_single.hpp
Reference in New Issue Copy Permalink