Update autotools config for better platform detection#273
Merged
fbergmann merged 1 commit intosbmlteam:developmentfrom Sep 29, 2022
Merged
Update autotools config for better platform detection#273fbergmann merged 1 commit intosbmlteam:developmentfrom
fbergmann merged 1 commit intosbmlteam:developmentfrom
