haojunliu Merge pull request #1 from Martoni/master
b0c4f27 Mar 12, 2018
Merge pull request #1 from Martoni/master
be able to compile github version of manual description
b0c4f27