From e5bb1eee1b7271a4c7a7483d064bb05ca0420d6f Mon Sep 17 00:00:00 2001
From: Raymond Hill <rhill@raymondhill.net>
Date: Wed, 28 Feb 2018 19:04:52 -0500
Subject: [PATCH] add credit for CodeMirror

---
 src/about.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/about.html b/src/about.html
index bd0120a0a..cfa4819e4 100644
--- a/src/about.html
+++ b/src/about.html
@@ -22,7 +22,8 @@
             <li><a href="https://crowdin.net/project/ublock">Crowdin</a>
         </ul>
     <li><a href="https://github.com/bestiejs/punycode.js" target="_blank">Punycode.js</a> by <a href="https://github.com/mathiasbynens">Mathias Bynens</a>
-    <li><a href="http://fontawesome.io" target="_blank">Font Awesome</a> by <a href="https://github.com/davegandy">Dave Gandy</a>
+    <li><a href="https://fontawesome.com/" target="_blank">Font Awesome</a> by <a href="https://github.com/davegandy">Dave Gandy</a>
+    <li><a href="https://codemirror.net/" target="_blank">CodeMirror</a> by <a href="https://github.com/marijnh">Marijn Haverbeke</a>
 </ul>
 
 <script src="js/vapi.js"></script>