Skip to content

use extensions instead of requires when usable#137

Open
KristofferC wants to merge 1 commit intoJuliaIntervals:mainfrom
KristofferC:kc/extensions
Open

use extensions instead of requires when usable#137
KristofferC wants to merge 1 commit intoJuliaIntervals:mainfrom
KristofferC:kc/extensions

Commits

Commits on Feb 28, 2025