adokter Merge pull request #156 from adokter/develop
dbb5eb7 Aug 21, 2020
Merge pull request #156 from adokter/develop
fixes to configure and build scripts in locating gsl library
dbb5eb7