Add more scratch files to .gitignore.

This commit is contained in:
Graydon Hoare 2010-07-03 23:56:50 -07:00
parent 5b2cc21e4f
commit 818fbfb325
1 changed files with 3 additions and 0 deletions

3
.gitignore vendored
View File

@ -16,6 +16,7 @@
*.cp
*.fn
*.ky
*.cps
*.log
*.pdf
*.html
@ -29,3 +30,5 @@ lexer.ml
rustboot
rustc
TAGS
version.ml
version.texi