mirror of
https://github.com/git/git.git
synced 2025-12-23 12:14:22 +01: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