diff options
| author | Joris | 2017-05-09 11:56:22 +0200 |
|---|---|---|
| committer | Joris | 2017-05-09 11:56:22 +0200 |
| commit | b39d6c09acdd2a7a362ac3e879b50bf52216d719 (patch) | |
| tree | a27889e7928163de5b394007674c26264041f7dc /.ocamlformat | |
| parent | 926b617066eeafdf4c70b99061ada490b98af17d (diff) | |
Use only build stage only in ci
Diffstat (limited to '.ocamlformat')
0 files changed, 0 insertions, 0 deletions