diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-01-25 19:13:31 +0100 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-01-25 19:13:31 +0100 |
| commit | 7b6d34b3e73a5a5fb9593a8e33de36d6fdd54bda (patch) | |
| tree | 22c315c66b8c3461918d250f9b6ab8331afcb3f7 /lib/helpers/dune | |
| parent | dc2aec71a82ebe9c8432a9867579bba6f1d87990 (diff) | |
Update dune-project stanzas.
Diffstat (limited to 'lib/helpers/dune')
0 files changed, 0 insertions, 0 deletions