--- a/web/index.en.html	Mon Apr 06 14:58:01 2009 +0000
+++ b/web/index.en.html	Mon Apr 06 15:01:05 2009 +0000
@@ -1,5 +1,5 @@
 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
-<!-- Version 00.07 -->
+<!-- Version 00.08 -->
 <html>
 
   <head>
changeset 21	6ebf585c63ff
parent 20	899c697b6299
child 23	7dc46a0c74d8