diff options
| author | Chimrod <> | 2024-01-04 08:18:39 +0100 |
|---|---|---|
| committer | Chimrod <> | 2024-01-04 08:18:39 +0100 |
| commit | 0f9f5d50bd04e23956e3c84359042659ed25149f (patch) | |
| tree | d469c462b2a4e5441d0b9878f154b485c98f7f6b /dune-project | |
| parent | 32cc150b5fc06e0c547b6d464cc6fa547ba874ba (diff) | |
Added return code to tell if everything is ok
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions