Edit page FrontPage
[wiki.git] / FrontPage
index 25f89e7d1ea2865691e82be0b9d2b6d327051e60..6bfe739da945dc1a2bfff42f878908f6a1888255 100644 (file)
--- a/FrontPage
+++ b/FrontPage
@@ -7,9 +7,9 @@
 == Projects ==
 
  * OneLaptopPerChild -- Working as a CodeMonkey to subvert the world!
 == Projects ==
 
  * OneLaptopPerChild -- Working as a CodeMonkey to subvert the world!
+ * DevLib - A portable runtime library and microkernel for small embedded systems
  * GeekiGeeki -- The experimental Git-powered wiki engine
  * ShellScripts -- Handy utilities to enhance your shell environment
  * GeekiGeeki -- The experimental Git-powered wiki engine
  * ShellScripts -- Handy utilities to enhance your shell environment
- * DevLib - A portable runtime library and microkernel for small embedded systems
  * ???
  * WorldDomination!
 
  * ???
  * WorldDomination!