diff options
| -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 b37449b..b4174b6 100644 --- a/doc/index.html +++ b/doc/index.html @@ -1912,6 +1912,9 @@ https://...</pre> <li> <a href="http://www.tug.org/texworks/">TeXworks</a> </li> + <li> + <a href="http://bino.nongnu.org/">Bino</a> + </li> </ul> </div> |