diff options
Diffstat (limited to 'third_party/heimdal/doc/header.html')
| -rw-r--r-- | third_party/heimdal/doc/header.html | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/third_party/heimdal/doc/header.html b/third_party/heimdal/doc/header.html new file mode 100644 index 0000000..b3401c8 --- /dev/null +++ b/third_party/heimdal/doc/header.html @@ -0,0 +1,10 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> +<html><head><meta http-equiv="Content-Type" content="text/html;charset=UTF-8"> +<title>$title</title> +<link href="$relpath$doxygen.css" rel="stylesheet" type="text/css"> +<link href="$relpath$tabs.css" rel="stylesheet" type="text/css"> +</head><body> +<p> +<a href="http://www.h5l.org/"><img src="http://www.h5l.org/keyhole-heimdal.png" alt="keyhole logo"/></a> +</p> +<!-- end of header marker --> |