From c5f8a835f54b27c9f1c22c8321378a309d371309 Mon Sep 17 00:00:00 2001 From: Charlie Groves Date: Wed, 3 Aug 2022 14:00:39 +0000 Subject: [PATCH] Add a .ignore file to make ripgrep more useful (#3315) Co-authored-by: Michael Davis --- .ignore | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 .ignore diff --git a/.ignore b/.ignore new file mode 100644 index 000000000..865856b43 --- /dev/null +++ b/.ignore @@ -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