diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-08-01 07:53:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-01 07:53:14 +0200 |
| commit | 4d4575d3863663174c862f37f2d56596e8ad469b (patch) | |
| tree | 9fdf33e9a8667bf25dbede4b3b643ba1c7a7030a /thirdparty/embree | |
| parent | 12dc5619e9aa810c84dfe736d1536c68ad5dd956 (diff) | |
| parent | 0dd65378e7594e8916474613116d8df485870710 (diff) | |
Merge pull request #63624 from reduz/commandline-user-args
Add support for command-line user arguments.
Diffstat (limited to 'thirdparty/embree')
0 files changed, 0 insertions, 0 deletions