]> ruderich.org/simon Gitweb - config/dotfiles.git/commit
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)
commitd04bd441a030e4e23c7a3e6d954a70e051bb28ec
tree5136d66d4b84317a4fee887ebc9327026a7f27b7
parentf346dd2a6e436deac96312c5f87883c673bce348
gitconfig: add gi alias (grep --ignore-case)
gitconfig.in