diff options
| author | Cyril Cohen | 2019-12-17 08:21:16 +0000 |
|---|---|---|
| committer | GitHub | 2019-12-17 08:21:16 +0000 |
| commit | 52f106adee9009924765adc1a94de9dc4f23f56d (patch) | |
| tree | 87835dea8d460e2dcb2988bcbcca9ee971908f93 /mathcomp/character/Makefile | |
| parent | 03b768d706def7097fc4ad2e72338f7733d51c84 (diff) | |
| parent | 172a97da12ef741e8f2819473d3d4a115c744862 (diff) | |
Merge pull request #451 from erikmd/fix-scheduled-ci
[ci] add missing "except:" rules to fix the nightly build on GitLab CI
Diffstat (limited to 'mathcomp/character/Makefile')
0 files changed, 0 insertions, 0 deletions