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 /doc/sphinx/_static/notations.css | |
| parent | 8cb2b6a00d71572d60d4dcc4e7ec697fd3933389 (diff) | |
[Sphinx] Read version number from configure
Diffstat (limited to 'doc/sphinx/_static/notations.css')
0 files changed, 0 insertions, 0 deletions