diff options
| author | ruki <[email protected]> | 2021-12-19 13:50:16 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-12-19 13:50:16 +0800 |
| commit | fde9f472906c2b7061afa5afed4128817ffd15c1 (patch) | |
| tree | 7602676eb20cff836b171263d019195c3ac7593c /tests/projects/pybind/example | |
| parent | cbff24314b4fb76b2617f56d4f202389feb259fd (diff) | |
| parent | 1a4cb99bd3e6738f79ecaf627114a0097f5b55a6 (diff) | |
Merge pull request #1927 from Biobots/mingw-cmake
Use ninja instead of make when generator is ninja
Diffstat (limited to 'tests/projects/pybind/example')
0 files changed, 0 insertions, 0 deletions