diff options
-rw-r--r-- | doc/manual.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual.xml b/doc/manual.xml index 760df39de..88d7e0eb3 100644 --- a/doc/manual.xml +++ b/doc/manual.xml @@ -56,7 +56,7 @@ <revhistory> <revision> - <revnumber>0.6.9</revnumber> + <revnumber>0.7.1pre6</revnumber> <date>$Date$</date> <revremark>$Id$</revremark> </revision> |