Remove properly tracked config file from .gitignore

The file is part of the git history and is a configuration file. Fixes: rust-lang#2018
marxin · Jul 24, 2024 · af3a314 · af3a314
1 parent 55477c1
commit af3a314
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