]> ruderich.org/simon Gitweb - config/dotfiles.git/search
gitconfig: add gi alias (grep --ignore-case)