summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2014-04-27 09:31:59 +0000
committerDamien Doligez <damien.doligez-inria.fr>2014-04-27 09:31:59 +0000
commit35ec048ca76f48b112fef2cf7c1671302d749b8d (patch)
tree8d250174983d64a711df0bee95ff22af6f147c72
parentf48db16efd8e1b535f7416604d96ab3a89da83d3 (diff)
add CSE.ml to ignore files
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14695 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--asmcomp/.ignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/asmcomp/.ignore b/asmcomp/.ignore
index 31d00178a..8c24e74ad 100644
--- a/asmcomp/.ignore
+++ b/asmcomp/.ignore
@@ -4,3 +4,4 @@ proc.ml
selection.ml
reload.ml
scheduling.ml
+CSE.ml