From 10db3c28a563269c9f19ead7e4fd63f1cdd97c73 Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <jfiat@eiffel.com>
Date: Wed, 7 Sep 2011 14:31:52 +0200
Subject: [PATCH] sync doc/wiki

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

diff --git a/doc/wiki b/doc/wiki
index 060f1482..820bd7bd 160000
--- a/doc/wiki
+++ b/doc/wiki
@@ -1 +1 @@
-Subproject commit 060f1482fe4d9bcb82b3207bd27b47fcff5a3073
+Subproject commit 820bd7bd6fab591691ff5c0560452c2783c8549e