Use magic instead of make and port to mojo 25.3.0.dev2025032205#33
Merged
sa- merged 6 commits intomojo-data:mainfrom Mar 26, 2025
winding-lines:main
Merged
Use magic instead of make and port to mojo 25.3.0.dev2025032205#33sa- merged 6 commits intomojo-data:mainfrom winding-lines:main
sa- merged 6 commits intomojo-data:mainfrom
winding-lines:main