diff options
| author |  Leonidas Lampropoulos <lemonidas_13@hotmail.com> | 2018-06-02 22:43:17 -0400 |
|---|---|---|
| committer | Leonidas Lampropoulos <lemonidas_13@hotmail.com> | 2018-06-02 22:43:17 -0400 |
| commit | 3334a54c1e6e75a7d1080498e1ce58bd0ecb73bd (patch) | |
| tree | 78624fb8e0adc92f130d51938bba4bec0c066b79 /configure.ml | |
| parent | 5610d73c418de33b2248eb08074fd2de0383f596 (diff) | |
Update .gitlab to use newer ocaml
Diffstat (limited to 'configure.ml')
0 files changed, 0 insertions, 0 deletions