Update versions in tools_intro.md#1174

Merged

AnotherButler merged 2 commits intodevelopmentfrom

AnotherButler-patch-6

Dec 3, 2019

Commits on Nov 19, 2019

Update versions in tools_intro.md
Amanda Butler
authored

Commits on Nov 21, 2019

Update version in tools_intro.md
Amanda Butler
authored