commit | 4426ba2919697d57ab8b6335ca63b2c14e4e6339 | [log] [tgz] |
---|---|---|
author | Bernhard R. Link <brl+git@mail.brlink.eu> | Mon Jan 30 21:10:23 2012 +0100 |
committer | Junio C Hamano <gitster@pobox.com> | Wed Feb 01 12:52:50 2012 -0800 |
tree | 1958a7ba515d70cac7acea4656dc06b12f5dddd7 | |
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>