diff options
| author | Vincent Laporte | 2019-06-06 16:03:41 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-06-06 16:03:41 +0000 |
| commit | f841689a74a0456ecec63659ef5e7f568fb60ba0 (patch) | |
| tree | 59e9defb7e77fbb385499820c487a23fcfe56f48 /doc/plugin_tutorial/tuto1/_CoqProject | |
| parent | c5798a8e041abf0b021c0820f7e6a5436729827e (diff) | |
| parent | 1df461d41634d1d1dc330f0aca99921d3fced1fd (diff) | |
Merge PR #9972: [build] Select uint63 using `ocamlc -config` variables.
Ack-by: SkySkimmer
Ack-by: Zimmi48
Ack-by: ejgallego
Reviewed-by: gares
Reviewed-by: maximedenes
Reviewed-by: vbgl
Diffstat (limited to 'doc/plugin_tutorial/tuto1/_CoqProject')
0 files changed, 0 insertions, 0 deletions