diff options
| author | Joris | 2016-10-30 14:55:30 +0100 |
|---|---|---|
| committer | Joris | 2016-10-30 14:55:30 +0100 |
| commit | 9ae3ad28b59c421b6861f9443f4a218aad1593a0 (patch) | |
| tree | c675f329f1ac9193c45615bb91cfd31acece930a /.ocamlformat | |
| parent | 5942d31d029948d9197ec41c2244d2fcf7673699 (diff) | |
Fix exe name in gitlab-ci
Diffstat (limited to '.ocamlformat')
0 files changed, 0 insertions, 0 deletions