R4R: get rid of double negatives: IsNotNegative -> IsAnyNegative#3522
Merged
jackzampolin merged 3 commits intodevelopfrom alessio/double-negativesFeb 6, 2019
+18-17
Commits
Commits on Feb 6, 2019
- committedAlessio Treglia
- committedAlessio Treglia
- committedAlessio Treglia