Skip to content

Commit

Permalink
Add a .ignore file to make ripgrep more useful (#3315)
Browse files Browse the repository at this point in the history
Co-authored-by: Michael Davis <[email protected]>
  • Loading branch information
groves and the-mikedavis authored Aug 3, 2022
1 parent 6e7774b commit c5f8a83
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions .ignore
Original file line number Diff line number Diff line change
@@ -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

0 comments on commit c5f8a83

Please sign in to comment.