Skip to content

Relax and optimize all_of_t/any_of_t#554

Merged
wjakob merged 2 commits intopybind:masterfrom
jagerman:conjunction-disjunction
Dec 14, 2016
Merged

Relax and optimize all_of_t/any_of_t#554
wjakob merged 2 commits intopybind:masterfrom
jagerman:conjunction-disjunction

Commits

Commits on Dec 14, 2016