diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-02-02 17:18:49 +0100 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-02-02 17:18:49 +0100 |
| commit | ccb8c161a227e8b3678472ce7006e911073bbdfb (patch) | |
| tree | e2a5ce50acc5ca65a8b6fee978bee04d2c6ac007 /doc | |
| parent | 832838e21fde67bb1d94fe85eb433be5d2d09f1c (diff) | |
First steps in renaming
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 13bfa00e..0b47203a 100644 --- a/doc/version.texi +++ b/doc/version.texi @@ -1,4 +1,4 @@ -@set UPDATED 8 January 2017 +@set UPDATED 27 January 2017 @set UPDATED-MONTH January 2017 @set EDITION 0.2.0 @set VERSION 0.2.0 |