diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-09-15 22:13:54 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-09-15 22:13:54 +0200 |
| commit | a3cc67022e7c2195000e1aea5d784524213f07aa (patch) | |
| tree | 485d1766355fabf46769590f1a885b60a6784a61 /doc/web.texi | |
| parent | 3938552fb6a63721c2feaca1b3b2d021e17aa927 (diff) | |
| download | geiser-a3cc67022e7c2195000e1aea5d784524213f07aa.tar.gz geiser-a3cc67022e7c2195000e1aea5d784524213f07aa.tar.bz2 | |
Version bump
Setting next version's value in the Git repos, so that people can have
both unstable and stable versions in their systems.
Diffstat (limited to 'doc/web.texi')
| -rw-r--r-- | doc/web.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/web.texi b/doc/web.texi index c9adcd1..6d205e1 100644 --- a/doc/web.texi +++ b/doc/web.texi @@ -7,7 +7,7 @@ @node Top, Introduction, (dir), (dir) @include top.texi -@dvblurb{September 2012} +@dvblurb{} @menu * Introduction:: |