From e9085c614c4029785e39697b108853d4f8d29798 Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <jfiat@eiffel.com>
Date: Mon, 1 Aug 2011 17:02:33 +0200
Subject: [PATCH] sync wiki

---
 doc/wiki | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/wiki b/doc/wiki
index c7f4f45f..a2a1f892 160000
--- a/doc/wiki
+++ b/doc/wiki
@@ -1 +1 @@
-Subproject commit c7f4f45f5eab34092d633f9e9bca52a8e9f33a90
+Subproject commit a2a1f89299a9fd1ff3078052e4c7917c329d27ed