diff options
Diffstat (limited to 'trace_profile')
| -rw-r--r-- | trace_profile/index.html | 4 | ||||
| -rw-r--r-- | trace_profile/ltrace.html | 4 | ||||
| -rw-r--r-- | trace_profile/oprofile.html | 4 | ||||
| -rw-r--r-- | trace_profile/perf.html | 4 | ||||
| -rw-r--r-- | trace_profile/strace.html | 4 | ||||
| -rw-r--r-- | trace_profile/time.html | 4 |
6 files changed, 24 insertions, 0 deletions
diff --git a/trace_profile/index.html b/trace_profile/index.html index 8c4ae05..8370732 100644 --- a/trace_profile/index.html +++ b/trace_profile/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/trace_profile/ltrace.html b/trace_profile/ltrace.html index f3989e7..872c444 100644 --- a/trace_profile/ltrace.html +++ b/trace_profile/ltrace.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/trace_profile/oprofile.html b/trace_profile/oprofile.html index 2fe4ccc..1b168fd 100644 --- a/trace_profile/oprofile.html +++ b/trace_profile/oprofile.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/trace_profile/perf.html b/trace_profile/perf.html index 2a5e155..79247d2 100644 --- a/trace_profile/perf.html +++ b/trace_profile/perf.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/trace_profile/strace.html b/trace_profile/strace.html index b6e5ffa..3c7b33d 100644 --- a/trace_profile/strace.html +++ b/trace_profile/strace.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/trace_profile/time.html b/trace_profile/time.html index ed661ac..cbf3f71 100644 --- a/trace_profile/time.html +++ b/trace_profile/time.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> |