Skip to content

Fix mid for IntervalBox to return SVector#30

Merged
dpsanders merged 1 commit intomasterfrom fix_mid_intervalboxMay 19, 2017

Commits

Commits on May 12, 2017