diff options
| author | Maxime Dénès | 2018-03-11 14:45:47 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-03-13 12:45:31 +0100 |
| commit | d24c5465cca44523085919c5b2ae691fe4f0bb36 (patch) | |
| tree | 9e5e0ecb1c5032b287bec3f9c3a63b1c6fa18d10 /dev/ci/ci-basic-overlay.sh | |
| parent | 815bdef747f7d69f25121f42ec72d109ec92edfe (diff) | |
[Sphinx] Update some metadata
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
0 files changed, 0 insertions, 0 deletions