Add more ignorable build artifacts.

2024-11-21 22:34:05 +00:00 · 2010-06-24 08:45:28 -07:00 · 2010-06-24 08:45:28 -07:00 · 0016473117
commit 0016473117
parent 935442babc
1 changed files with 14 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -2,11 +2,25 @@
 *.x86
 *.llvm
 *.out
+*.cmx
+*.dll
 *.exe
 *.orig
 *.cmo
 *.cmi
 *.d
 *.o
+*.aux
+*.cp
+*.fn
+*.ky
+*.log
+*.pdf
+*.html
+*.pg
+*.toc
+*.tp
+*.vr
 .hg/
 .hgignore
+lexer.ml