diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/index.html | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/index.html b/doc/index.html index 20882c0..d73bf8f 100644 --- a/doc/index.html +++ b/doc/index.html @@ -1913,6 +1913,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> |