Add a .ignore file to make ripgrep more useful (#3315)
Co-authored-by: Michael Davis <mcarsondavis@gmail.com>
commitc5f8a835f54b27c9f1c22c8321378a309d371309
authorCharlie Groves <charlie.groves@gmail.com>
dateWed 3 Aug 2022, 14:00 (4 years ago)
parent6e7774b
.ignorenew file+5
@@ -0,0 +1,5 @@
1+# Things that we don't want ripgrep to search that we do want in git
2+# https://github.com/BurntSushi/ripgrep/blob/master/GUIDE.md#automatic-filtering
3+
4+# Minified JS vendored from mdbook
5+book/theme/highlight.js