diff options
| author | Emilio Jesus Gallego Arias | 2017-10-26 01:00:25 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-10-27 02:31:02 +0200 |
| commit | d054ea634f1a586da98753ef197e577c12bf8cfa (patch) | |
| tree | 529c90f567f747d828a998c9d2c2398292c58a60 /dev | |
| parent | ad973248998da8d7d10ed00f4bcd6f383ba9a171 (diff) | |
[ocaml] [travis] Add preliminary 4.06 CI testing.
We are still missing an updated LABLGTK.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions