diff options
| author | Gaëtan Gilbert | 2019-02-07 11:42:56 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-02-12 14:39:49 +0100 |
| commit | 146a9d73bd5ceff18e08d36d942dca874f388d5c (patch) | |
| tree | 08c79cb48e8831a3e0d3c28f6a995a20e9e1e926 /dev | |
| parent | 912e363c9152012ecbff5272cded46e75a2f3c33 (diff) | |
Fix undefined SPHINX_DEPS when QUICK
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions