mirror of
https://github.com/git/git.git
synced 2026-04-09 08:20:10 +02:00
This makes the multiple search types actually usable by the user; if you don't read the gitweb source, you don't even have an idea that you can write things like that there. Signed-off-by: Petr Baudis <pasky@suse.cz> Signed-off-by: Junio C Hamano <junkio@cox.net>
5.4 KiB
5.4 KiB