Remove properly tracked config file from .gitignore

The file is part of the git history and is a configuration file. Fixes: #2018
rust-lang · Jul 27, 2024 · c74d3fb · c74d3fb
1 parent 4765bd7
commit c74d3fb
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,8 +1,5 @@
 book
 
-# prevent accidental changes
-book.toml
-
 ci/date-check/target/
 
 # Generated by check-in.sh