diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-06-27 14:51:28 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-06-27 14:51:28 +0200 |
| commit | e0ad7ac11b97f089fa862d2e34409e0a1d77d3a1 (patch) | |
| tree | e53d3e961707091c076088bb835860b53c749a21 /Makefile.ci | |
| parent | e485183fe6b0c88ffcba34746ad16cb12283a4a8 (diff) | |
| parent | 555e9bb113664b5dc9b7f2e5acb84de0831fbbc4 (diff) | |
Merge PR#731: Mini-cleaning around OCaml file names
This is only a partial merge, we stick with using the standard OCaml
(un)capitalize functions.
Diffstat (limited to 'Makefile.ci')
0 files changed, 0 insertions, 0 deletions