tree 1958a7ba515d70cac7acea4656dc06b12f5dddd7
parent 40efa22309458546a3ea861689034acf9fbf9d1a
author Bernhard R. Link <brl+git@mail.brlink.eu> 1327954223 +0100
committer Junio C Hamano <gitster@pobox.com> 1328129570 -0800

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>