diff options
author | Rickard Green <[email protected]> | 2016-06-15 11:48:46 +0200 |
---|---|---|
committer | Rickard Green <[email protected]> | 2016-06-15 11:48:46 +0200 |
commit | 6739b802822b3ba750499b9dc6ac390932d75049 (patch) | |
tree | 6606b95ae3f5217d64d2753b654c75cc6e0ffe25 /configure.in | |
parent | 59397963e4f1e32b0d11f7862374ac65771feed2 (diff) | |
parent | fe63f7705b5feef0a5eb67a4c3ed47c38301788b (diff) | |
download | otp-6739b802822b3ba750499b9dc6ac390932d75049.tar.gz otp-6739b802822b3ba750499b9dc6ac390932d75049.tar.bz2 otp-6739b802822b3ba750499b9dc6ac390932d75049.zip |
Merge branch 'rickard/top-doc-vsn/OTP-13676'
* rickard/top-doc-vsn/OTP-13676:
Present OTP base version on top html documentation page
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions