boost/mp11
2
0
Fork 0
mirror of https://github.com/boostorg/mp11.git synced 2026-01-20 04:42:15 +00:00
Code Issues Projects Releases Wiki Activity
Files
develop
mp11/tools/single-header.bat
Peter Dimov f26810ef47 Revert "Remove single header" 
This reverts commit f24d1ca5df.
2020-05-24 18:52:08 +03:00

1 line
64 B
Batchfile
Raw Permalink Blame History

python2.7 tools\single-header.py > include\boost\mp11_single.hpp
Reference in New Issue View Git Blame Copy Permalink