diff options
| author | Cyril Cohen | 2020-11-09 17:50:03 +0100 |
|---|---|---|
| committer | GitHub | 2020-11-09 17:50:03 +0100 |
| commit | 72c13992b8961f288c412414fda206213486e25b (patch) | |
| tree | 6875850778539f9e35f78ddf55630c6964665f9c /docs/htmldoc/mathcomp.algebra.vector.html | |
| parent | f9d2b38be7a113fe2f0bae34d5a5e8ccf279e5b7 (diff) | |
| parent | 8da589737cbb81889c26037eeed856f8a00ff667 (diff) | |
Merge pull request #614 from erikmd/ci-coqbot-compat
[CI] Update only/except rules (Add a variable to rebuild mathcomp only for coq-dev)
Diffstat (limited to 'docs/htmldoc/mathcomp.algebra.vector.html')
0 files changed, 0 insertions, 0 deletions