diff options
| author | Mikhail Matrosov | 2022-01-25 23:54:19 +0300 |
|---|---|---|
| committer | GitHub | 2022-01-25 21:54:19 +0100 |
| commit | 958944d27a2d2fb82aa008377bf4f8752f6b848e (patch) | |
| tree | b195d6a51fa59c0cd28c2ca84bb6294c44cb5e42 /scripts/developBuild.py | |
| parent | 216713a4066b79d9803d374f261ccb30c0fb451f (diff) | |
| download | catch3-958944d27a2d2fb82aa008377bf4f8752f6b848e.tar.gz | |
Allow to specify CATCH_CONFIG_DEFAULT_REPORTER for static library with main() (#2346)
Diffstat (limited to 'scripts/developBuild.py')
0 files changed, 0 insertions, 0 deletions