doc update: add Galois to the list of projects which use MXE

10 years ago · 87f9a72c16
parent e46546cae0
commit 87f9a72c16
1 changed files with 3 additions and 0 deletions
--- a/index.html
+++ b/index.html
@ -3508,6 +3508,9 @@ endef</pre>
    <li>
        <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>