From fc633badc5b83851e8ac488ee88d4490bd91e9cc Mon Sep 17 00:00:00 2001
From: MrFry <mrfry@airmail.cc>
Date: Thu, 19 Mar 2020 17:37:10 +0100
Subject: [PATCH] Changed repo devel docs link href

---
 src/pages/repos.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/pages/repos.js b/src/pages/repos.js
index 81a1f39..b236761 100644
--- a/src/pages/repos.js
+++ b/src/pages/repos.js
@@ -41,7 +41,7 @@ export default function Repos (props) {
                   </a>
                 </td>
                 <td>
-                  <a href={repo.href + '/docsTODO'}>
+                  <a href={repo.href + '/tree/master/devel'}>
                     Devel docs
                   </a>
                 </td>