diff options
| author | Chimrod <> | 2023-09-25 10:29:36 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-09-25 10:29:36 +0200 |
| commit | 000d8bcc955e57b8e1278c05763eff5bd97862b8 (patch) | |
| tree | aa1e22d56dc685124dc1f8d8222d78ea93b9e1e1 /bin/dune | |
| parent | c2fdbf2eb9bac4d92258eda5da3249cd2ef07e55 (diff) | |
Renamed the main application
Diffstat (limited to 'bin/dune')
| -rw-r--r-- | bin/dune | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ (executable (public_name qsp_parser) - (name main) + (name qsp_parser) (libraries qsp_syntax qsp_parser) |
