diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2014-04-27 09:31:59 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2014-04-27 09:31:59 +0000 |
commit | 35ec048ca76f48b112fef2cf7c1671302d749b8d (patch) | |
tree | 8d250174983d64a711df0bee95ff22af6f147c72 | |
parent | f48db16efd8e1b535f7416604d96ab3a89da83d3 (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/.ignore | 1 |
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 |