]> ruderich.org/simon Gitweb - config/dotfiles.git/commitdiff
gitconfig: add gi alias (grep --ignore-case)
authorSimon Ruderich <simon@ruderich.org>
Tue, 12 Jul 2016 12:44:08 +0000 (14:44 +0200)
committerSimon Ruderich <simon@ruderich.org>
Tue, 12 Jul 2016 12:44:08 +0000 (14:44 +0200)

No differences found