diff options
| author | Marc Coquand <marc@mccd.space> | 2023-12-26 09:02:53 -0600 |
|---|---|---|
| committer | Marc Coquand <marc@mccd.space> | 2023-12-26 09:57:19 -0600 |
| commit | cb124a87d8ed1a309b00c9163cde2911ee029251 (patch) | |
| tree | ebb46550ef6236c66ddde5894128ca2e492229df /bin/dune | |
| parent | 5036848184a912a857c4c1e76ef02985295855eb (diff) | |
| download | fixgen-cb124a87d8ed1a309b00c9163cde2911ee029251.tar.gz fixgen-cb124a87d8ed1a309b00c9163cde2911ee029251.tar.bz2 fixgen-cb124a87d8ed1a309b00c9163cde2911ee029251.zip | |
Add cmdliner
Diffstat (limited to '')
| -rw-r--r-- | bin/dune | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -2,5 +2,6 @@ (public_name fixgen) (name main) (libraries + cmdliner fixgen) ) |