view templates/gitweb/header.tmpl @ 8479:3e16c0fc2241

repair: bulk update sets Use a single set.update and set.difference_update call instead of many set.add and set.discard calls.
author Martin Geisler <mg@lazybytes.net>
date Sun, 17 May 2009 16:55:51 +0200
parents 3340aa5a64f7
children
line wrap: on
line source

<?xml version="1.0" encoding="{encoding}"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en-US" lang="en-US">
<head>
<link rel="icon" href="{staticurl}hgicon.png" type="image/png" />
<meta name="robots" content="index, nofollow"/>
<link rel="stylesheet" href="{staticurl}style-gitweb.css" type="text/css" />