From f6f7d67decd75b87a68f20c311a652b5b11237ef Mon Sep 17 00:00:00 2001
From: Johannes Ranke <jranke@uni-bremen.de>
Date: Thu, 8 Oct 2020 09:57:03 +0200
Subject: Fix another URL, add devcheck target

---
 docs/dev/reference/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs/dev/reference/index.html')

diff --git a/docs/dev/reference/index.html b/docs/dev/reference/index.html
index b72d0c85..a5cd6663 100644
--- a/docs/dev/reference/index.html
+++ b/docs/dev/reference/index.html
@@ -119,7 +119,7 @@
       </ul>
       <ul class="nav navbar-nav navbar-right">
         <li>
-  <a href="http://github.com/jranke/mkin/">
+  <a href="https://github.com/jranke/mkin/">
     <span class="fab fa fab fa-github fa-lg"></span>
      
   </a>
-- 
cgit v1.2.1