Use 'make check' instead of 'python3 tools/rstlint.py'#96
Merged
berkerpeksag merged 1 commit intomasterfrom Feb 14, 2017
Merged
Use 'make check' instead of 'python3 tools/rstlint.py'#96berkerpeksag merged 1 commit intomasterfrom
berkerpeksag merged 1 commit intomasterfrom