diff options
| author | Erik Martin-Dorel | 2019-07-29 23:39:05 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-07-30 12:54:58 +0200 |
| commit | b8eadb8603b83c053a313b39c2a8f268385d8942 (patch) | |
| tree | c28a6d572d1e3deb96392063f5581436f041895f /docs/htmldoc/mathcomp.ssreflect.seq.html | |
| parent | 1624bfe8406017cff82904ebab3d06a9dec17153 (diff) | |
refactor: deploy jobs need not clone the repo
* Set "GIT_STRATEGY: none" accordingly
Diffstat (limited to 'docs/htmldoc/mathcomp.ssreflect.seq.html')
0 files changed, 0 insertions, 0 deletions