diff options
| author | Gaëtan Gilbert | 2019-02-07 11:56:19 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-02-12 14:39:49 +0100 |
| commit | e5fb9c5cbce5e7e7e8fcb3d82c45074f9c165158 (patch) | |
| tree | c769ba01f6e235f8ec021a2531477e6eda9d6290 /dev/include | |
| parent | d32a0db7b4d0775820b306badfe8072bd74cf62d (diff) | |
Fix failing coqtops in micromega.rst (the main one requires csdp)
Maybe we should still let it run but let's disable it until we install
csdp on the build server at least.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions