diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2016-03-29 13:26:15 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2016-03-29 13:26:15 +0200 |
| commit | dc36fd7fe118136277d8dc525c528fef38b46d70 (patch) | |
| tree | 15f1dba80ba93197fd33c32b9dca3bc9dd9f9a48 /kernel/names.mli | |
| parent | 7e7b5684d8f8066b90fca3395104af7241b8aed6 (diff) | |
Update version number for 8.5pl1
Diffstat (limited to 'kernel/names.mli')
0 files changed, 0 insertions, 0 deletions