File: header.html

package info (click to toggle)
chromium-browser 70.0.3538.110-1~deb9u1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 1,619,476 kB
  • sloc: cpp: 13,024,755; ansic: 1,349,823; python: 916,672; xml: 314,489; java: 280,047; asm: 276,936; perl: 75,771; objc: 66,634; sh: 45,860; cs: 28,354; php: 11,064; makefile: 10,911; yacc: 9,109; tcl: 8,403; ruby: 4,065; lex: 1,779; pascal: 1,411; lisp: 1,055; awk: 41; jsp: 39; sed: 17; sql: 3
file content (24 lines) | stat: -rw-r--r-- 671 bytes parent folder | download | duplicates (19) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
 
<!doctype html>
<html>
  <head>
    <meta name='viewport' content='width=device-width,initial-scale=1'>
    <meta charset='UTF-8'>
    <link rel='stylesheet' type='text/css' href='{{ css_path }}'>
    <!-- Custom style overrides -->
    <style>
      {{ style_overrides }}
    </style>
  </head>
  <body>
    <h2>Coverage Report</h2>
    <p>
      View results by:
      {% if component_view_href %}
        <a href='{{ component_view_href }}'>Components</a> |
      {% endif %}
      <a href='{{ directory_view_href }}'>Directories</a>
      {% if file_view_href %}
        | <a href='{{ file_view_href }}'>Files</a>
      {% endif %}
    </p>
    <div class='centered'>