diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2026-02-08 12:26:09 +0100 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2026-02-08 12:31:04 +0100 |
| commit | 9aaa28b5b92b6f53e83dc2348272c87e70ea72cd (patch) | |
| tree | ad2abe028b828a4744a35998720657b2ba080b6b /src | |
| parent | 643ba8fedaa3a9622888793604024da8c1af25a6 (diff) | |
Add some build-time variables
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions