Do not install tests by default, make double precision an option#61
Merged
RaulPPelaez merged 1 commit intomainfrom Sep 5, 2025
Merged
Do not install tests by default, make double precision an option#61RaulPPelaez merged 1 commit intomainfrom
RaulPPelaez merged 1 commit intomainfrom
