Edit page FrontPage

[wiki.git] / FrontPage

diff --git a/FrontPage b/FrontPage
index 763b8bccf3b7d4e5379540ac4bd92d469f7072ac..304f7773529dfd700e07efef1099d16014a1728c 100644 (file)
--- a/FrontPage
+++ b/FrontPage
@@ -11,9 +11,11 @@
  * 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/
+ * Random temporary junk: http://www.codewiz.org/pub/
  * Old OpenSource projects: http://www.codewiz.org/projects/
 
 == About Me ==