doitian Pull-Requests pull Revert "Merge #620: Install headers automatically" #626 doitian on May 24, 2019 pull Avoid generate duplicated files for install command. #625 doitian on May 24, 2019 Issues issue `make install` fails #624 doitian on May 23, 2019
