From 31fcc507e7f1d44ec41a6d2c9b3dbadd4e5de851 Mon Sep 17 00:00:00 2001 From: Stijn Buys Date: Wed, 16 Jul 2008 13:19:43 +0000 Subject: more documentation, world.html --- doc/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/index.html') diff --git a/doc/index.html b/doc/index.html index 301a9aa..2aeb747 100644 --- a/doc/index.html +++ b/doc/index.html @@ -51,7 +51,7 @@
  • User manual