diff options
| author | Chimrod <> | 2023-10-07 15:05:25 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-10-07 15:05:25 +0200 |
| commit | 7ff1e525b39a42f94e32c65f8c2aac0a52465dc3 (patch) | |
| tree | 45e3557a12fe868ddd3dc96488129244ef807ec9 /tools/dune | |
| parent | 97ab5c9a21166f0bffee482210d69877fd6809fa (diff) | |
Added the error message in case of unclosed quote in a text
Diffstat (limited to 'tools/dune')
0 files changed, 0 insertions, 0 deletions