Do not exit with an error if lib is not present#299

Merged

masci merged 1 commit intomasterfrom

massi/lib-remove

Jul 23, 2019

Commits on Jul 23, 2019

do not exit with an error if lib is not present
masci
committed