diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-12-22 12:24:40 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2017-12-22 12:24:40 +0100 |
| commit | bf4d398d4e474dc4aba0e33094d45fb53406d593 (patch) | |
| tree | 84afa778ecd4f10fca6968d3a37d2659126ee78d /thirdparty | |
| parent | 074b9d2b3e947a25b7b52b9e32579bba96381da6 (diff) | |
Do not require OpenMP for non-tools builds (export templates)
Diffstat (limited to 'thirdparty')
0 files changed, 0 insertions, 0 deletions