templates/header.tmpl
author Thomas Arendsen Hein <thomas@intevation.de>
Sat, 10 Jun 2006 17:39:29 +0200
changeset 2424 092039246d73
parent 2126 2e77f7852e82
child 3265 d1aa83f199ef
permissions -rw-r--r--
Report on push/pull if heads are merged, too, like for new heads. Use case: If a remote repo has two heads and I _want_ to merge them, I merge and push. Meanwhile someone else pushed on top of one of the heads. He won't get a warning, because he doesn't create a new head, I won't notice that I don't close a head, because I don't get a message telling me.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
142
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
     1
Content-type: text/html
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
     2
154
1d5f799ebe1e fixed problem with head/body tags, added dtd, fixed table attributes
jake@edge2.net
parents: 142
diff changeset
     3
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
142
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
     4
<html>
529bf610092e Prettify the web interface
mpm@selenic.com
parents:
diff changeset
     5
<head>
1790
88f0345d82e9 [hgweb] Added favicon to standard/gitweb templates
Josef "Jeff" Sipek <jeffpc@optonline.net>
parents: 1778
diff changeset
     6
<link rel="icon" href="?static=hgicon.png" type="image/png">
1628
88ad18c16ae5 [hgweb] Prevent search engine bots from indexing the entire repository
Matt Mackall <mpm@selenic.com>
parents: 1425
diff changeset
     7
<meta name="robots" content="index, nofollow" />
2126
2e77f7852e82 Use <link> tag instead if CDATA import for CSS stylesheets. Fixes issue200.
Thomas Arendsen Hein <thomas@intevation.de>
parents: 1790
diff changeset
     8
<link rel="stylesheet" href="?static=style.css" type="text/css" />