diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-10-27 18:19:28 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-10-27 18:19:28 +0200 |
| commit | e5659c8ffe735c530a707a61c692a3af21a79a9a (patch) | |
| tree | 5f879ecdaea661209c42a863b139eeceb333780e /vernac/vernacinterp.ml | |
| parent | ff4793c609d4fc2b868ff673ffaa48abf6d5fa03 (diff) | |
| parent | d054ea634f1a586da98753ef197e577c12bf8cfa (diff) | |
Merge PR #6026: [ocaml] [travis] Add preliminary 4.06 CI testing.
Diffstat (limited to 'vernac/vernacinterp.ml')
0 files changed, 0 insertions, 0 deletions