changeset 1882:07a3dc3f0249

merge
author Volker Grabsch <vog@notjusthosting.com>
date Wed, 08 Jun 2011 22:10:20 +0200
parents 87990a925f8d (current diff) 1d09782f7f3f (diff)
children 9b219c1c28b3
files doc/index.html
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/doc/index.html	Wed Jun 08 09:19:17 2011 +0200
+++ b/doc/index.html	Wed Jun 08 22:10:20 2011 +0200
@@ -1925,6 +1925,9 @@
     <li>
         <a href="http://bino.nongnu.org/">Bino</a>
     </li>
+    <li>
+        <a href="http://www.ros.org/wiki/eros">Eros</a>
+    </li>
     </ul>
 </div>