Add a .ignore file to make ripgrep more useful (#3315)

Co-authored-by: Michael Davis <mcarsondavis@gmail.com>
pull/3319/head
Charlie Groves 2 years ago committed by GitHub
parent 6e7774bb79
commit c5f8a835f5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -0,0 +1,5 @@
# Things that we don't want ripgrep to search that we do want in git
# https://github.com/BurntSushi/ripgrep/blob/master/GUIDE.md#automatic-filtering
# Minified JS vendored from mdbook
book/theme/highlight.js
Loading…
Cancel
Save