diff options
| author | Chimrod <> | 2026-06-24 08:33:41 +0200 |
|---|---|---|
| committer | Chimrod <> | 2026-06-24 08:33:41 +0200 |
| commit | f805783c2fe7f4dd3f970d48ae122df4dd79da23 (patch) | |
| tree | 7578feba2d79056b383ade16479e15f596aa75e4 /bin/dune | |
| parent | 19ff439d0c8c59ec65f156b58dd237bef2492e80 (diff) | |
Diffstat (limited to 'bin/dune')
| -rw-r--r-- | bin/dune | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -4,6 +4,7 @@ (libraries sedlex linol + eio linol-eio eio_main qsp_syntax |