diff options
| author | johannst <johannst@users.noreply.github.com> | 2021-03-29 15:16:14 +0000 |
|---|---|---|
| committer | johannst <johannst@users.noreply.github.com> | 2021-03-29 15:16:14 +0000 |
| commit | c6ae65a3f9c9f1d393291dbb7c1c741676664825 (patch) | |
| tree | de71f5029b2173c8d3e674dcc4c6943a951b4e17 /tools/gdb.html | |
| parent | fe84155562f3e6d51b94155197ab5606f2e3bebe (diff) | |
| download | notes-c6ae65a3f9c9f1d393291dbb7c1c741676664825.tar.gz notes-c6ae65a3f9c9f1d393291dbb7c1c741676664825.zip | |
deploy: 6e82f44415534b31b683006bbeca4379d43d9d0d
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> |