diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2017-12-08 18:11:10 +0100 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2017-12-08 19:16:56 +0100 |
commit | cefbe810602958af0e024d319025882b4ecaaadb (patch) | |
tree | d37eae83e09f9865277411be4b2e73b74b361a8e /.gitignore | |
parent | de80a1dbe9818ed244081f94dbfc4dd153b35a26 (diff) | |
download | ocaml-cefbe810602958af0e024d319025882b4ecaaadb.tar.gz |
Migrate typing-misc tests to ocamltest
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/.gitignore b/.gitignore index ac93a38692..2c562cf60d 100644 --- a/.gitignore +++ b/.gitignore @@ -326,10 +326,6 @@ _ocamltest /testsuite/tests/tool-lexyacc/grammar.mli /testsuite/tests/tool-lexyacc/grammar.ml -/testsuite/tests/typing-misc/false.flat-float -/testsuite/tests/typing-misc/true.flat-float -/testsuite/tests/typing-misc/pr6939.ml - /testsuite/tests/typing-multifile/a.ml /testsuite/tests/typing-multifile/b.ml /testsuite/tests/typing-multifile/c.ml |