diff options
| author | Chimrod <> | 2024-01-20 19:46:16 +0100 |
|---|---|---|
| committer | Chimrod <> | 2024-01-20 19:46:16 +0100 |
| commit | 2abe1fae40a1c65ff66ad51c98d92be9c7d9d8a5 (patch) | |
| tree | beb44b0afe74943af50d2b39a6317ff42f1ac0b7 /dune-project | |
| parent | 86fd78a5ab65015a9c18ad601856f1b16ed90fa9 (diff) | |
Better recovery after an error — prevent an infinite loop
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions