From 818fbfb3252687ab6ea8ba358d8d5d199f1e330a Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Sat, 3 Jul 2010 23:56:50 -0700
Subject: [PATCH] Add more scratch files to .gitignore.

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index fb8a5d8d3ff..3ae62ec07ae 100644
--- a/.gitignore
+++ b/.gitignore
@@ -16,6 +16,7 @@
 *.cp
 *.fn
 *.ky
+*.cps
 *.log
 *.pdf
 *.html
@@ -29,3 +30,5 @@ lexer.ml
 rustboot
 rustc
 TAGS
+version.ml
+version.texi