W. Felix Handte 6528fa088e Do a `-pedantic` Build in CircleCI		2020-05-04 10:59:15 -04:00
..
images/primary	circleci : use custom docker image with installations	2019-06-04 21:13:40 -07:00
config.yml	Do a `-pedantic` Build in CircleCI	2020-05-04 10:59:15 -04:00