diff options
| author | Maxime Dénès | 2018-01-08 11:10:00 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-01-08 11:10:00 +0100 |
| commit | 1c173af8d467d5a216f5e6616aac75529e2a46b7 (patch) | |
| tree | 8bb9c9807c35ec1fbd1679d632e11372ada89e3d /dev/include | |
| parent | 9b2a037a119cc80e4402a3c69db23737d21a02d9 (diff) | |
| parent | 8e7b876b6d9f3d4131e3b7e969f8e1943154df4c (diff) | |
Merge PR #6518: Fix build of micromega & nsatz with OCaml 4.06
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions