diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-07-13 17:05:02 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-07-13 17:05:02 +0200 |
| commit | 892f655d54c69768163450c4a8eb3f102628d258 (patch) | |
| tree | ff9ad31e83af261d266d642bf1697c0f2e1177b4 /Makefile.doc | |
| parent | 032e4f2bf5cb6eadba6ebbb16dd5d0c812dd2033 (diff) | |
Set version to 8.7+alpha.
It is a valid git tag (unlike 8.7~alpha) and will be considered by most
tools as < 8.7.0 (unlike 8.7.0+alpha).
Diffstat (limited to 'Makefile.doc')
0 files changed, 0 insertions, 0 deletions