diff options
author | Bernhard R. Link <brl+git@mail.brlink.eu> | 2012-01-31 00:10:23 +0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-02-02 00:52:50 +0400 |
commit | 4426ba2919697d57ab8b6335ca63b2c14e4e6339 (patch) | |
tree | 1958a7ba515d70cac7acea4656dc06b12f5dddd7 /gitweb/static | |
parent | 40efa22309458546a3ea861689034acf9fbf9d1a (diff) |
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>
Diffstat (limited to 'gitweb/static')
0 files changed, 0 insertions, 0 deletions