gitweb: place links to parent directories in page header
commit4426ba2919697d57ab8b6335ca63b2c14e4e6339
authorBernhard R. Link <brl+git@mail.brlink.eu>
Mon, 30 Jan 2012 20:10:23 +0000 (30 21:10 +0100)
committerJunio C Hamano <gitster@pobox.com>
Wed, 1 Feb 2012 20:52:50 +0000 (1 12:52 -0800)
tree1958a7ba515d70cac7acea4656dc06b12f5dddd7
parent40efa22309458546a3ea861689034acf9fbf9d1a
gitweb: place links to parent directories in page header

Change html page headers to not only link the project root and the
currently selected project but also the directories in between using
project_filter. (Allowing to jump to a list of all projects within
that intermediate directory directly and making the project_filter
feature visible to users).

Signed-off-by: Bernhard R. Link <brlink@debian.org>
Acked-by: Jakub Narebski <jnareb@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
gitweb/gitweb.perl