on master help sign in
Add a .ignore file to make ripgrep more useful (#3315)
c5f8a83Charlie Groves
.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