diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-10-26 21:13:25 +0200 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-10-26 21:17:45 +0200 |
commit | 6d498ac858306944c09718c329191631ece91ee5 (patch) | |
tree | 009c75ccb0be26e805ed2fcc6746b0f025f02083 /bin/dune | |
parent | d43fd4449ce83814f85429b201e114db97c97535 (diff) |
Diffstat (limited to 'bin/dune')
-rwxr-xr-x | bin/dune | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -13,6 +13,5 @@ stdio css_lib ) - (preprocess (pps ppx_deriving_argparse)) ) |