diff options
author | 2018-03-11 13:55:25 +0100 | |
---|---|---|
committer | 2018-03-13 12:45:31 +0100 | |
commit | 815bdef747f7d69f25121f42ec72d109ec92edfe (patch) | |
tree | 4db845dff85346033fee6746b7087acd4d6a033d /INSTALL.ide | |
parent | 8cb2b6a00d71572d60d4dcc4e7ec697fd3933389 (diff) |
[Sphinx] Read version number from configure
Diffstat (limited to 'INSTALL.ide')
0 files changed, 0 insertions, 0 deletions