Edit page FrontPage

[wiki.git] / FrontPage

diff --git a/FrontPage b/FrontPage
index f06af2e49b65e9ad73305fc2cd6837077fdacc24..727c7793144e9a5207c58a182c2e21b0487881e2 100644 (file)
--- a/FrontPage
+++ b/FrontPage
@@ -8,9 +8,8 @@
 === 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
- * ShellScripts -- Handy utilities to enhance your shell environment
  * ???
  * WorldDomination!