gitconfig: add gi alias (grep --ignore-case)

[config/dotfiles.git] / gitattributes

diff --git a/gitattributes b/gitattributes
index e1a6cab382d68cd18f95a8b54834949f4ae35cf1..8258ef8b88bde6cc07abe8bf241f739432352f35 100644 (file)
--- a/gitattributes
+++ b/gitattributes
@@ -17,3 +17,4 @@
 
 
 *.pdf diff=pdf
+*.gz diff=gzip