Skip to content

In Makefile on Windows: Used bash and cleaned up Windows-specific commands#2139

Merged
andy-maier merged 1 commit into
masterfrom
andy/cleanup-makefile-windows
May 9, 2026
Merged

In Makefile on Windows: Used bash and cleaned up Windows-specific commands#2139
andy-maier merged 1 commit into
masterfrom
andy/cleanup-makefile-windows

Commits

Commits on Apr 12, 2026