git://git.jankratochvil.net
/
www.energie.vellum.cz.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Leave heading($title) as default ('true' for now)
[www.energie.vellum.cz.git]
/
redirect.php
1
<?php $cvs_id='$Id$';
2
3
$detect_ent=false;
4
include("common.php");
5
6
prepvar("location","[a-z]+://.*");
7
8
header("HTTP/1.0 301 Moved Permanently");
9
header("Location: $location");
10
11
?>