merge

2011-06-08 22:10:20 +02:00 · 2011-06-08 22:10:20 +02:00 · 12682eef64
parent 21fa1a6679 92044b5e5c
commit 12682eef64
1 changed files with 3 additions and 0 deletions
--- a/doc/index.html
+++ b/doc/index.html
@ -1925,6 +1925,9 @@ https://...</pre>
    <li>
        <a href="http://bino.nongnu.org/">Bino</a>
    </li>
+    <li>
+        <a href="http://www.ros.org/wiki/eros">Eros</a>
+    </li>
    </ul>
 </div>