diff options
| author | Joris | 2017-05-10 13:50:51 +0200 |
|---|---|---|
| committer | Joris | 2017-05-10 13:50:51 +0200 |
| commit | b0f34bc1ec69433c594cd4850bc19540f4d4d2f8 (patch) | |
| tree | 7196a51175cd3c224f7530cb156c16e3ef77074c /.ocamlformat | |
| parent | 4399097564c041838140225f30dcda7f92caa88a (diff) | |
Rename build to pages in ci
Diffstat (limited to '.ocamlformat')
0 files changed, 0 insertions, 0 deletions