diff options
| author | Chimrod <> | 2024-06-06 15:11:05 +0200 |
|---|---|---|
| committer | Chimrod <> | 2024-06-06 15:11:05 +0200 |
| commit | 89c19613764368afba6659e8586dec010c9b9d6b (patch) | |
| tree | 803ad12c0b9b7effc0e5d0b50ce049f036fa0811 /dune-project | |
| parent | 4535058e48fc8edc44be20b92a182279eb9e1569 (diff) | |
Forgot the case where + is used as a concatenation operator
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions