Closed mpark closed 7 years ago
A single-header file will be shipped with each release. I'd rather not update it per-commit, so it won't be kept in the repo.
It will be generated by support/single-header.py
Closed by 2f1cf7c18b31895a6f335da372fbd67a57af8e91
A single-header file will be shipped with each release. I'd rather not update it per-commit, so it won't be kept in the repo.
It will be generated by support/single-header.py