diff options
| author | Chimrod <> | 2024-01-18 08:25:54 +0100 |
|---|---|---|
| committer | Chimrod <> | 2024-01-18 08:25:54 +0100 |
| commit | c8fb3bdbf3d35c0fd4496d3150961e1fcb202f05 (patch) | |
| tree | 27554b623d66d8c85eea16b59847973fda779460 /dune-project | |
| parent | ed1365aedbc69eea0b9c8338d97ec096542e4c2a (diff) | |
Change STATTXT into an identifier instead of a function
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions