diff options
| author | Chimrod <> | 2025-04-25 14:24:32 +0200 |
|---|---|---|
| committer | Chimrod <> | 2025-04-25 14:24:32 +0200 |
| commit | 406b7b79cd375b071f92ddee9cee14a98dc91281 (patch) | |
| tree | ff90383b0d533a0a3be068ee7769195e16cec45e /syntax/dune | |
| parent | a5d4b07dbd2b3aec3e8f9a36bbe50c86fc32cf28 (diff) | |
Allow casting from Integer to String without warning
Diffstat (limited to 'syntax/dune')
0 files changed, 0 insertions, 0 deletions