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/awk.html | |
parent | fe84155562f3e6d51b94155197ab5606f2e3bebe (diff) | |
download | notes-c6ae65a3f9c9f1d393291dbb7c1c741676664825.tar.gz notes-c6ae65a3f9c9f1d393291dbb7c1c741676664825.zip |
deploy: 6e82f44415534b31b683006bbeca4379d43d9d0d
Diffstat (limited to 'tools/awk.html')
-rw-r--r-- | tools/awk.html | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/awk.html b/tools/awk.html index 41b854f..139ec07 100644 --- a/tools/awk.html +++ b/tools/awk.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> |