--- a/web/index.en.html Thu Jul 16 13:35:03 2009 +0000
+++ b/web/index.en.html Wed Jul 22 08:13:44 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.27 -->
+<!-- Version 00.28 -->
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
--- a/web/index.fr.html Thu Jul 16 13:35:03 2009 +0000
+++ b/web/index.fr.html Wed Jul 22 08:13:44 2009 +0000
@@ -1,5 +1,5 @@
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-<!-- Version 00.27 -->
+<!-- Version 00.28 -->
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/web/robots.txt Wed Jul 22 08:13:44 2009 +0000
@@ -0,0 +1,4 @@
+User-agent: *
+Disallow: /dev/
+Disallow: /wiki/
+Allow: /