Closed user00265 closed 1 year ago
Fixes #12 QA notice about header files installed in /usr/local (default prefix if none given)
Fixes #12 QA notice about header files installed in /usr/local (default prefix if none given)