From 7d1357537d49c4f3eed199aa2178aac9aa0972f5 Mon Sep 17 00:00:00 2001
From: bernie <bernie@217.133.10.139>
Date: Mon, 9 Jun 2008 02:43:39 +0200
Subject: [PATCH] Edit page FrontPage

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

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