diff: migrate diff_flags.pickaxe_ignore_case to a pickaxe_opts bit
[gitweb.git] / gitweb /
drwxr-xr-x   parent (dest: ; base: c1ddc4610c553b06591aac74b610b56448cbb976)
-rw-r--r-- 14728 INSTALL
-rw-r--r-- 5641 Makefile
-rw-r--r-- 2392 README
-rwxr-xr-x 252603 gitweb.perl
drwxr-xr-x - static