diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-09-01 10:49:58 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-09-01 10:49:58 +0200 |
| commit | e2f497350753c5ce38582ba0911a94b133791e65 (patch) | |
| tree | 8cc56d1f98f3c3e3fd3a5416eb01216e75da5f3b /pretyping/pretyping.mli | |
| parent | 5639933c1b8ad7cf96ec592eb3104aa8282f16f5 (diff) | |
Change version string to 8.8+alpha.
Diffstat (limited to 'pretyping/pretyping.mli')
0 files changed, 0 insertions, 0 deletions