diff options
| author | Cyril Cohen | 2019-12-26 12:41:02 +0100 |
|---|---|---|
| committer | GitHub | 2019-12-26 12:41:02 +0100 |
| commit | a93a392121e8e02c6fdaa6c674dd90af8b12c28d (patch) | |
| tree | 10e592575361e04a7ee40a93bdf24f689e29648e /mathcomp | |
| parent | 52f106adee9009924765adc1a94de9dc4f23f56d (diff) | |
| parent | 6fe83f3bb1e6c12c40cee1e40dc00354f7f24e4b (diff) | |
Merge pull request #450 from pi8027/remove-ci-overlay-270
Remove CI overlay for PR #270
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions