1 files changed, 0 insertions, 3 deletions
diff --git a/.ignore b/.ignore
index 865856b4..0c4493ee 100644
--- a/.ignore
+++ b/.ignore
@@ -1,5 +1,2 @@
 # 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