diff options
Diffstat (limited to 'tools/gdb.html')
| -rw-r--r-- | tools/gdb.html | 4 |
1 files changed, 4 insertions, 0 deletions
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> |