diff options
author | 2019-02-05 13:41:53 -0500 | |
---|---|---|
committer | 2019-02-05 15:09:56 -0500 | |
commit | 7cbefd56ba087ae51bc618db5bc72a51d10dedbf (patch) | |
tree | 9e9a7a703c910b6cd90c2dbdb981f383d5f3a577 /debian/coq-theories.doc-base | |
parent | 4e783ae1e73875e34026baff95afc46351746098 (diff) |
Disable test 4366, which is too time-sensitive for MIPS
Diffstat (limited to 'debian/coq-theories.doc-base')
0 files changed, 0 insertions, 0 deletions