diff options
| author | Hendrik Tews | 2013-07-17 11:03:24 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2013-07-17 11:03:24 +0000 |
| commit | c660b5bfb3be6971ee9dfc111be08dd00fbace0d (patch) | |
| tree | b7612082ee230f33ce5dd8742555c3ac184f5f70 /ci/compile-tests | |
| parent | 6ba6a73bb719ebb99065747cf07c9f9066e299a7 (diff) | |
disable and protect coq-hide-additional-subgoals-switch for coq-time-commands
Diffstat (limited to 'ci/compile-tests')
0 files changed, 0 insertions, 0 deletions