diff options
| author | Théo Zimmermann | 2018-08-29 16:25:17 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-08-29 16:25:17 +0200 |
| commit | 39cfb4b660115e835703fff55a244a3a91e62b6d (patch) | |
| tree | db7760dd6add02f0e6e1f635e7ffb0138efaa8b0 /dev/ci/ci-basic-overlay.sh | |
| parent | 06a00cf53442dacafd578b8db655e5d8097e9d84 (diff) | |
[sphinx] Fix timeout issue by splitting imports.
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
0 files changed, 0 insertions, 0 deletions