diff options
| author | Anton Trunov | 2019-05-29 18:45:07 +0300 |
|---|---|---|
| committer | Anton Trunov | 2019-05-29 19:48:13 +0300 |
| commit | 5596cd2a457926419b408a5356f2a8da060b2208 (patch) | |
| tree | 2cf9d21799aec3b391d1c7f5fca310ba13458e24 /docs/htmldoc/mathcomp.character.classfun.html | |
| parent | 748d716efb2f2f75946c8386e441ce1789806a39 (diff) | |
Remove support for Travis CI
Mathcomp switched to Gitlab CI via coqbot, see here:
https://github.com/math-comp/math-comp/pull/353#issuecomment-497017174
Diffstat (limited to 'docs/htmldoc/mathcomp.character.classfun.html')
0 files changed, 0 insertions, 0 deletions