renamed

[infrastructure.git] / gitweb-obsolete / planet-lab.sed

diff --git a/gitweb-obsolete/planet-lab.sed b/gitweb-obsolete/planet-lab.sed
new file mode 100644 (file)
index 0000000..94d196a
--- /dev/null
+++ b/gitweb-obsolete/planet-lab.sed
@@ -0,0 +1,6 @@
+s,@SITENAME@,git.planet-lab,
+s,@LOGO@,planet-lab-logo,
+s,@FAVICON@,planet-lab-favicon,
+s,@LOGOURL@,http://www.planet-lab.org,
+s,@LOGOLABEL@,PlanetLab,
+s,@GITURL@,git://git.planet-lab.org,