diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-06-10 21:47:24 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-06-10 21:47:24 +0200 |
| commit | e90fc12253479a5c96a89aa1be2e7c600d8eeb92 (patch) | |
| tree | aa0f3a8f897ceb5c0f162ff14ae6347cf81d1b86 /doc | |
| parent | b606c988d589e66b6dd4d26fec553921540c0e2f (diff) | |
move code towards more modern PQ API
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/version.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/version.texi b/doc/version.texi index acbfcb43..efa990a6 100644 --- a/doc/version.texi +++ b/doc/version.texi @@ -1,4 +1,4 @@ -@set UPDATED 31 May 2017 -@set UPDATED-MONTH May 2017 +@set UPDATED 3 June 2017 +@set UPDATED-MONTH June 2017 @set EDITION 0.3.0 @set VERSION 0.3.0 |