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 | 566442e67e7e85a5543515278d79e2a464598e0e (patch) | |
tree | 5a7a688cb025fca0a244384dbca87a7f4fab6beb /doc/web.texi | |
parent | 2d8058f7f834106230e0aef637b05b0a8b83882b (diff) | |
download | geiser-guile-566442e67e7e85a5543515278d79e2a464598e0e.tar.gz geiser-guile-566442e67e7e85a5543515278d79e2a464598e0e.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:: |