diff options
| author | Cyril Cohen | 2019-05-29 19:21:30 +0200 |
|---|---|---|
| committer | GitHub | 2019-05-29 19:21:30 +0200 |
| commit | 9d8e99f50e1f00413c355277123a70e497491afc (patch) | |
| tree | f6ae23ec598b321b11b1de63fea16958cdc5398f /docs/javascripts | |
| parent | bd4300d26ecbb43f7170e8da7eaaff1a13cc70b1 (diff) | |
| parent | 5596cd2a457926419b408a5356f2a8da060b2208 (diff) | |
Merge pull request #353 from anton-trunov/update-ci
Remove support for Travis CI (mathcomp switched to Gitlab CI)
Diffstat (limited to 'docs/javascripts')
0 files changed, 0 insertions, 0 deletions