diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2018-10-15 20:14:25 +0000 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2018-10-15 20:14:25 +0000 |
| commit | 894b5e913128d59e93b08f7f457200b4a769d2bc (patch) | |
| tree | 60e7f3951b19dc186c21d417d1d9c24766b617bb /docs/version.texi | |
| parent | dcba303f8d172f6748225d2e00f28a44ac13c453 (diff) | |
| parent | 6fadce1cd8881b2a144be5aaf99966dfd6093860 (diff) | |
Merge #27 `Update manual to version 7.17.`
Diffstat (limited to 'docs/version.texi')
| -rw-r--r-- | docs/version.texi | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/docs/version.texi b/docs/version.texi index 7ca3e74..e300ce7 100644 --- a/docs/version.texi +++ b/docs/version.texi @@ -1,5 +1,4 @@ -@set UPDATED 10 February 2018 -@set UPDATED-MONTH February 2018 +@set UPDATED 8 October 2018 +@set UPDATED-MONTH October 2018 @set EDITION 2 -@set VERSION 7.2 - +@set VERSION 7.17 |