diff options
| author | Chimrod <> | 2023-11-04 17:16:16 +0100 |
|---|---|---|
| committer | Chimrod <> | 2023-11-04 17:16:16 +0100 |
| commit | 6ada3862d96f82e44b3b19dd84d08cbb8c6a6006 (patch) | |
| tree | e2fa4e223c4ce0f3945af76f9e82e887b307a95b /lib/syntax/t.ml | |
| parent | 673da2554d3e667e0a62d5c7bbf30999f1295dc1 (diff) | |
Allow test to be enabled or disabled by command line
Diffstat (limited to 'lib/syntax/t.ml')
0 files changed, 0 insertions, 0 deletions