From: bernie <bernie@18.85.46.122>
Date: Sun, 16 Sep 2007 09:51:58 +0000 (+0200)
Subject: Edit page FrontPage
X-Git-Url: https://codewiz.org/gitweb?a=commitdiff_plain;h=ce987a1eab5045548aa7b841c3cc85d230d7efa1;p=wiki.git

Edit page FrontPage
---

diff --git a/FrontPage b/FrontPage
index 4cfcca9..304f777 100644
--- a/FrontPage
+++ b/FrontPage
@@ -11,6 +11,7 @@
  * OneLaptopPerChild -- Working as a CodeMonkey to subvert the world!
  * GeekiGeeki -- The experimental Git-powered wiki engine
  * DynDnsUpdate -- A dumb script to update your dynamic DNS
+ * DevLib - A portable runtime library and microkernel for small embedded systems
  * WorldDomination!
 
  * Assorted patches: http://www.develer.com/patches/