From d139d2df644496ce8d94de3bdb282f40bfcd68f1 Mon Sep 17 00:00:00 2001
From: maartenkeijzer <maartenkeijzer>
Date: Thu, 22 Mar 2001 16:23:56 +0000
Subject: [PATCH] updated project number

---
 eo/doc/eo.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/eo/doc/eo.cfg b/eo/doc/eo.cfg
index 19e35db3f..7dd8cc709 100644
--- a/eo/doc/eo.cfg
+++ b/eo/doc/eo.cfg
@@ -20,7 +20,7 @@ PROJECT_NAME         = EO
 # This could be handy for archiving the generated documentation or 
 # if some version control system is used.
 
-PROJECT_NUMBER       = 0.9.0
+PROJECT_NUMBER       = 0.9.2
 
 # The OUTPUT_DIRECTORY tag is used to specify the (relative or absolute) 
 # base path where the generated documentation will be put.