diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-06-13 10:22:44 +0200 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-06-13 10:22:53 +0200 |
| commit | 5cbd6cbd3f2f00eaab4d0e070e46c43f502db63e (patch) | |
| tree | a0c6ac3608758696000ecddc11d4b09a2b3bfb73 /doc | |
| parent | b2a21b2a850b45d082e52ed70d2285a711622f94 (diff) | |
| download | merchant-5cbd6cbd3f2f00eaab4d0e070e46c43f502db63e.tar.gz merchant-5cbd6cbd3f2f00eaab4d0e070e46c43f502db63e.tar.bz2 merchant-5cbd6cbd3f2f00eaab4d0e070e46c43f502db63e.zip | |
fix table definition
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 efa990a6..fc2400aa 100644 --- a/doc/version.texi +++ b/doc/version.texi @@ -1,4 +1,4 @@ -@set UPDATED 3 June 2017 +@set UPDATED 7 June 2017 @set UPDATED-MONTH June 2017 @set EDITION 0.3.0 @set VERSION 0.3.0 |