allow options to have keywords in names#72

Merged

emicklei merged 2 commits intomasterfrom issue71

Mar 16, 2018

+55-7

Commits on Mar 16, 2018

allow options to have keywords in names
Ernest Micklei
committed
fix static check warning
emicklei_kramphub
committed