Merge branch 'stable'

11 years ago · e62c353cdf
parent 1a27fa5a1e 87f9a72c16
commit e62c353cdf
1 changed files with 4 additions and 1 deletions
--- a/index.html
+++ b/index.html
@ -3874,7 +3874,10 @@ endef</pre>
        <a href="http://sigrok.org/">sigrok</a>
    </li>
    <li>
-        <a href="https://www.maxr.org/">Mechanized Assault and eXploration Reloaded</a>
+        <a href="https://www.maxr.org/">MAXR: Mechanized Assault and eXploration Reloaded</a>
    </li>
    <li>
        <a href="http://www.nongnu.org/galois/">Galois</a>
    </li>
    </ul>
 </div>