diff options
author | hackademix <giorgio@maone.net> | 2018-10-08 17:15:06 +0200 |
---|---|---|
committer | hackademix <giorgio@maone.net> | 2018-10-08 17:22:46 +0200 |
commit | 2aeaa93bd591e4ea16c558a78b3c09b09c7645e8 (patch) | |
tree | 809d64248b2e97f5e4d126a8d6e67427547a5cf8 /docs/version.texi | |
parent | 564f2eb266bda6c947aae303a449406e7d40f190 (diff) |
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 |