diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-07-05 12:17:03 +0200 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-07-05 12:17:23 +0200 |
| commit | 15ff300f61aaea3505f206eef0a4a2c3cfe033e6 (patch) | |
| tree | a65799c08ad0c3cd97037e5b8314ea3de7e15b4f /doc | |
| parent | 71d4d4ced10dbb995bb28605e60ffbda68be88a3 (diff) | |
| download | merchant-15ff300f61aaea3505f206eef0a4a2c3cfe033e6.tar.gz merchant-15ff300f61aaea3505f206eef0a4a2c3cfe033e6.tar.bz2 merchant-15ff300f61aaea3505f206eef0a4a2c3cfe033e6.zip | |
Finishing #5087.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/version.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/version.texi b/doc/version.texi index 2a18a25e..fc2400aa 100644 --- a/doc/version.texi +++ b/doc/version.texi @@ -1,4 +1,4 @@ -@set UPDATED 2 June 2017 +@set UPDATED 7 June 2017 @set UPDATED-MONTH June 2017 @set EDITION 0.3.0 @set VERSION 0.3.0 |