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