Edit page FrontPage

diff --git a/FrontPage b/FrontPage
index 6bfe739da945dc1a2bfff42f878908f6a1888255..23a6ccc7af15a35e4bf75416250a6849816cf7fd 100644 (file)
--- a/FrontPage
+++ b/FrontPage
@@ -7,7 +7,7 @@
 == Projects ==
 
  * OneLaptopPerChild -- Working as a CodeMonkey to subvert the world!
- * DevLib - A portable runtime library and microkernel for small embedded systems
+ * 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
  * ???