From e46546cae0b6288fadaadf8c7d532e9faf58d0a2 Mon Sep 17 00:00:00 2001
From: Volker Grabsch <v@njh.eu>
Date: Fri, 21 Feb 2014 13:02:38 +0100
Subject: [PATCH 1/2] doc update: improve naming of MAXR

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index d99e6d7f..f13f43b5 100644
--- a/index.html
+++ b/index.html
@@ -3506,7 +3506,7 @@ 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>
     </ul>
 </div>

From 87f9a72c1611c72d208e5ba24ce7e6fe5778c7ab Mon Sep 17 00:00:00 2001
From: Volker Grabsch <v@njh.eu>
Date: Fri, 21 Feb 2014 13:01:27 +0100
Subject: [PATCH 2/2] doc update: add Galois to the list of projects which use
 MXE

---
 index.html | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/index.html b/index.html
index f13f43b5..2cd7fb46 100644
--- 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>