Added git grep config

This commit is contained in:
Erwin Boskma 2022-01-24 11:15:17 +01:00
parent a7b4214442
commit 7fe6e72500
Signed by: erwin
GPG key ID: 270B20D17394F7E5

View file

@ -96,6 +96,11 @@ in
new = "green bold";
};
};
grep = {
lineNumber = true;
column = true;
patternType = "extended";
};
};
};