BuildTools 2bbdaedf51 increment docu version for previous commit

2017-12-28 22:05:49 -05:00

..

config.md

remove extraneous credits

2017-12-22 00:58:10 -05:00

index.md

increment docu version for previous commit

2017-12-28 22:05:49 -05:00