Merge pull request #4125 from Rudloff/feature/lint_doc
authorHypolite Petovan <mrpetovan@gmail.com>
Sun, 24 Dec 2017 01:35:58 +0000 (20:35 -0500)
committerGitHub <noreply@github.com>
Sun, 24 Dec 2017 01:35:58 +0000 (20:35 -0500)
commita7b752df67869ca6f4fbb32081bd651250822056
tree736fe87608c635c8689ff1a828a04cc8a21d5f98
parentab95cd711458861e176d29a3e0282d5dc32fd65a
parent833815bff5c25c12be4b12434d0df94232ec68a9
Merge pull request #4125 from Rudloff/feature/lint_doc

Lint doc/Developers-Intro.md