diff options
Diffstat (limited to 'development')
| -rw-r--r-- | development/c++.html | 4 | ||||
| -rw-r--r-- | development/c++filt.html | 4 | ||||
| -rw-r--r-- | development/gcc.html | 4 | ||||
| -rw-r--r-- | development/glibc.html | 4 | ||||
| -rw-r--r-- | development/index.html | 4 | ||||
| -rw-r--r-- | development/ld.so.html | 4 | ||||
| -rw-r--r-- | development/make.html | 4 |
7 files changed, 28 insertions, 0 deletions
diff --git a/development/c++.html b/development/c++.html index 61c1146..5655b3a 100644 --- a/development/c++.html +++ b/development/c++.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> diff --git a/development/c++filt.html b/development/c++filt.html index 1b6f037..2d5fcdd 100644 --- a/development/c++filt.html +++ b/development/c++filt.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> diff --git a/development/gcc.html b/development/gcc.html index 7fcbe85..202d46e 100644 --- a/development/gcc.html +++ b/development/gcc.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> diff --git a/development/glibc.html b/development/glibc.html index 8b05f97..7c42a20 100644 --- a/development/glibc.html +++ b/development/glibc.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> diff --git a/development/index.html b/development/index.html index 329aa60..4082e1e 100644 --- a/development/index.html +++ b/development/index.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> diff --git a/development/ld.so.html b/development/ld.so.html index 9a096e3..ae1e562 100644 --- a/development/ld.so.html +++ b/development/ld.so.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> diff --git a/development/make.html b/development/make.html index 9311786..f4cbf08 100644 --- a/development/make.html +++ b/development/make.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> |