web/index.en.html
changeset 32 61e01a0306a8
parent 30 a9e9cfdc12c2
child 34 533c612269a0
--- a/web/index.en.html	Tue May 05 09:12:16 2009 +0000
+++ b/web/index.en.html	Mon May 18 16:32:15 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.12 -->
+<!-- Version 00.13 -->
 <html>
   <head>
     <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />