diff --git a/.ignore b/.ignore new file mode 100644 index 000000000000..865856b43498 --- /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