From 5c318cc8b0d71c72f748b37156b5d02ff2daf266 Mon Sep 17 00:00:00 2001
From: bernie <bernie@217.133.10.139>
Date: Mon, 9 Jun 2008 02:45:31 +0200
Subject: [PATCH] Edit page FrontPage

---
 FrontPage | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/FrontPage b/FrontPage
index a7d7489..727c779 100644
--- a/FrontPage
+++ b/FrontPage
@@ -8,7 +8,7 @@
 === Projects ===
 
  * OneLaptopPerChild -- Working as a CodeMonkey to subvert the world!
- * [[BeRTOS]] -- A microkernel for small embedded systems
+ * [[BeRtos]] -- A microkernel for small embedded systems
  * GeekiGeeki -- The experimental Git-powered wiki engine
  * ???
  * WorldDomination!
-- 
2.25.1