Skip to content

Fixing "errors" reported by vera++#89

Merged
brarcher merged 1 commit into
masterfrom
unknown repository
Dec 15, 2016
Merged

Fixing "errors" reported by vera++#89
brarcher merged 1 commit into
masterfrom
unknown repository

Commits

Commits on Dec 14, 2016