Edit page FrontPage

[wiki.git] / FrontPage

diff --git a/FrontPage b/FrontPage
index 4cfcca9204d49d2c3f3b4e114966df255ca5ac76..304f7773529dfd700e07efef1099d16014a1728c 100644 (file)
--- 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/