diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2018-07-02 12:08:13 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-02 12:08:13 +0200 |
commit | 41a432ff50fdd0f3559d0f8936d17dfa5bf73232 (patch) | |
tree | 4dcf1399c1eeb204117afd6f7c4076a2a17c3a05 /.gitignore | |
parent | f395dfc96b85926afe2235c6f0de498d0f0d2386 (diff) | |
parent | 24420f73fe2c7f0a337ea46e5a9d4486f464068b (diff) | |
download | ocaml-41a432ff50fdd0f3559d0f8936d17dfa5bf73232.tar.gz |
Merge pull request #1871 from gasche/testsuite-status-order
Testsuite reports: move failed tests and Summary to the end
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions