gitignore: ignore the presence/absence of cmd/tools/.disable_autorecompilation

pull/8185/head
Delyan Angelov 2021-01-18 08:51:58 +02:00
parent 72790cda83
commit 2f82466d30
No known key found for this signature in database
GPG Key ID: 66886C0F12D595ED
1 changed files with 3 additions and 0 deletions

3
.gitignore vendored
View File

@ -77,3 +77,6 @@ _docs
*.suo *.suo
*.VC.db *.VC.db
*.rsp *.rsp
# ignore cmd/tools/.disable_autorecompilation, which some package managers use.
cmd/tools/.disable_autorecompilation