From c6ae65a3f9c9f1d393291dbb7c1c741676664825 Mon Sep 17 00:00:00 2001
From: johannst <johannst@users.noreply.github.com>
Date: Mon, 29 Mar 2021 15:16:14 +0000
Subject: deploy: 6e82f44415534b31b683006bbeca4379d43d9d0d

---
 tools/gdb.html | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'tools/gdb.html')

diff --git a/tools/gdb.html b/tools/gdb.html
index 507e9cc..a9d36d4 100644
--- a/tools/gdb.html
+++ b/tools/gdb.html
@@ -120,6 +120,10 @@
                                 <i id="print-button" class="fa fa-print"></i>
                             </a>
                             
+                            <a href="https://github.com/johannst/notes" title="Git repository" aria-label="Git repository">
+                                <i id="git-repository-button" class="fa fa-github"></i>
+                            </a>
+                            
                         </div>
                     </div>
                 </div>
-- 
cgit v1.2.3