diff options
| author | Brian Campbell | 2018-10-12 18:14:41 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-10-12 18:14:41 +0100 |
| commit | a9b18e2be154c6e2429b156ae9390ffad89a7c2a (patch) | |
| tree | a290d509a8da97027f7e032503a5b20435b36444 /editors | |
| parent | f63571c9a6b532f64b415de27bb0ee6cc358388d (diff) | |
Prevent accidental test failures when Coq compiles in the wrong order
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions