Skip to content

Skip verify in non-git directories#33

Merged
jkrems merged 1 commit intomasterfrom jk-more-graceful-verifyDec 12, 2016

Commits

Commits on Dec 12, 2016