HomeSort by: relevance | last modified time | path
    Searched refs:html_header (Results 1 - 4 of 4) sorted by relevancy

  /src/external/gpl3/binutils/dist/gprofng/gp-display-html/
gp-display-html.in 3033 my $html_header;
3035 $html_header = "<!DOCTYPE html public \"-//w3c//dtd html 3.2//en\">\n";
3036 $html_header .= "<html lang=\"$LANG\">\n";
3037 $html_header .= "<head>\n";
3038 $html_header .= "<meta http-equiv=\"content-type\"";
3039 $html_header .= " content=\"text/html; charset=iso-8859-1\">\n";
3040 $html_header .= "<title>" . $title . "</title>\n";
3041 $html_header .= "</head>\n";
3042 $html_header .= "<body lang=\"$LANG\" bgcolor=". $background_color . ">\n";
3043 $html_header .= "<style>\n"
    [all...]
  /src/external/gpl3/binutils.old/dist/gprofng/gp-display-html/
gp-display-html.in 3033 my $html_header;
3035 $html_header = "<!DOCTYPE html public \"-//w3c//dtd html 3.2//en\">\n";
3036 $html_header .= "<html lang=\"$LANG\">\n";
3037 $html_header .= "<head>\n";
3038 $html_header .= "<meta http-equiv=\"content-type\"";
3039 $html_header .= " content=\"text/html; charset=iso-8859-1\">\n";
3040 $html_header .= "<title>" . $title . "</title>\n";
3041 $html_header .= "</head>\n";
3042 $html_header .= "<body lang=\"$LANG\" bgcolor=". $background_color . ">\n";
3043 $html_header .= "<style>\n"
    [all...]
  /src/external/apache2/llvm/dist/llvm/utils/
llvm-original-di-preservation.py 38 html_header = """ <html>
310 fileout.writelines(html_header)
  /src/external/historical/nawk/dist/testdir/
funstack.awk 629 function html_header() function
889 html_header()

Completed in 31 milliseconds