diff options
| author | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2017-12-12 13:21:45 +0100 |
|---|---|---|
| committer | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2017-12-12 13:21:45 +0100 |
| commit | 608a22178bea8fe9bebab88b5bc23a914f0926da (patch) | |
| tree | 0a968f777c342ce700e2ceef37737836240a7f8b /doc | |
| parent | beab78499d26641a4af405b99d6f83534df38d16 (diff) | |
| download | mpc-git-608a22178bea8fe9bebab88b5bc23a914f0926da.tar.gz | |
change version from 1.1 to 1.1.0
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/version.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/version.texi b/doc/version.texi index c966627..22da8b5 100644 --- a/doc/version.texi +++ b/doc/version.texi @@ -1,4 +1,4 @@ @set UPDATED 12 December 2017 @set UPDATED-MONTH December 2017 -@set EDITION 1.1-rc1 -@set VERSION 1.1-rc1 +@set EDITION 1.1.0-rc1 +@set VERSION 1.1.0-rc1 |