diff options
author | Max Hilbrunner <mhilbrunner@users.noreply.github.com> | 2018-05-05 06:33:11 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-05 06:33:11 +0200 |
commit | d3927e1e87eebcbe3b62f35daeac4532dc974c3a (patch) | |
tree | 637b37c7de8e2039faf21e29958bad089e8937c1 /CONTRIBUTING.md | |
parent | af9a6202ebb1eda4f928d2d601162cf4b211752b (diff) | |
parent | 28eb97c8ab9f8b3b44f54af5ff1c8bb22e6bc30e (diff) |
Merge pull request #18615 from KellyThomas/version_docs
correct documentation for version number data type
Diffstat (limited to 'CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions