diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-10 17:05:47 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-11 13:55:42 +0100 |
| commit | 12e99cb08790b9e67913e4137da4a4dbcb82f362 (patch) | |
| tree | d8d89742df8bfc34c727007e0633261f2690f0a4 /script.it/path/dune | |
| parent | 143994822a98df2afe14431f879b90d5e3a7922c (diff) | |
Update compilation rule
Diffstat (limited to 'script.it/path/dune')
0 files changed, 0 insertions, 0 deletions