diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2018-06-25 12:04:44 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2018-06-25 12:04:44 +0200 |
| commit | 2804f4dfbb1dc1c1ad95ee881beaa30576a3b86e (patch) | |
| tree | a3a688bc0164d541d87df799c25d95463a5880f1 /configure.ml | |
| parent | 915452f9a73d25e45131edb08531c29a79ab7020 (diff) | |
Mini-update of version history with recent changes.
Diffstat (limited to 'configure.ml')
0 files changed, 0 insertions, 0 deletions