From d18e5e1a16340c267e33345cb27bcb9e432670c6 Mon Sep 17 00:00:00 2001 From: Petr Baudis Date: Wed, 11 Oct 2006 03:27:01 +0200 Subject: [PATCH] Move site title to the top bar --- about.html | 5 +---- cgi/Git/RepoCGI.pm | 3 +-- mob.html | 5 +---- 3 files changed, 3 insertions(+), 10 deletions(-) diff --git a/about.html b/about.html index a463ff9..590aa92 100644 --- a/about.html +++ b/about.html @@ -12,13 +12,10 @@ -

About the Site

- -

repo.or.cz is a public Git hosting site. You can create a project here and then publish your development by pushing to it, or even enable push access for multiple developers. diff --git a/cgi/Git/RepoCGI.pm b/cgi/Git/RepoCGI.pm index 039668e..b059792 100644 --- a/cgi/Git/RepoCGI.pm +++ b/cgi/Git/RepoCGI.pm @@ -46,10 +46,9 @@ sub new {

-

$heading

EOT bless $repo, $class; diff --git a/mob.html b/mob.html index c807c54..43ed0f8 100644 --- a/mob.html +++ b/mob.html @@ -12,13 +12,10 @@ -

About the Mob Account

- -

The mob account (the name a tribute to the paper Mob Software: The Erotic Life of Code) is.a way to enable anonymous push access for your project. -- 2.11.4.GIT