diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-02-01 16:20:13 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-02-01 16:20:13 +0100 |
| commit | eeefb53ba92e50f35ac78e734d1f1787d9ce7462 (patch) | |
| tree | 88d07af70186d758dcccf41e25543a873f888ef9 /dashboard/app/common.html | |
| parent | e525e980eaed440e278614b9e887270ca67d2dde (diff) | |
dashboard/app: tidy up UIs
Show short kernel repo/branch aliases,
also slightly reshuffle and tidy up tables.
Diffstat (limited to 'dashboard/app/common.html')
| -rw-r--r-- | dashboard/app/common.html | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/dashboard/app/common.html b/dashboard/app/common.html deleted file mode 100644 index 74785b105..000000000 --- a/dashboard/app/common.html +++ /dev/null @@ -1,17 +0,0 @@ -{{define "header"}} - <header id="topbar"> - <table class="position_table"> - <tr> - <td> - <h1><a href="/">syzkaller</a></h1> - </td> - <td class="search"> - <a href="https://github.com/google/syzkaller/blob/master/docs/found_bugs.md" target="_blank">found bugs</a> | - <a href="https://groups.google.com/forum/#!forum/syzkaller" target="_blank">mailing list</a> | - <a href="https://github.com/google/syzkaller" target="_blank">github</a> - </td> - </tr> - </table> - </header> - <br> -{{end}} |