diff options
| author | Maxime Dénès | 2018-03-11 13:55:25 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-03-13 12:45:31 +0100 |
| commit | 815bdef747f7d69f25121f42ec72d109ec92edfe (patch) | |
| tree | 4db845dff85346033fee6746b7087acd4d6a033d /dev/ci/ci-basic-overlay.sh | |
| parent | 8cb2b6a00d71572d60d4dcc4e7ec697fd3933389 (diff) | |
[Sphinx] Read version number from configure
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
0 files changed, 0 insertions, 0 deletions