Skip to content

Remove the string-non-empty function which had no effect #1729

Merged
martin-cs merged 2 commits intodiffblue:developfrom
romainbrenguier:refactor/unused-nonempty-option
Jan 14, 2018

Commits

Commits on Jan 12, 2018