Skip to content

Improve Makefile compatibility across different shells#7

Open
stevenskevin wants to merge 1 commit intotsgates:masterfrom
stevenskevin:makefile-fix-2
Open

Improve Makefile compatibility across different shells#7
stevenskevin wants to merge 1 commit intotsgates:masterfrom
stevenskevin:makefile-fix-2

Commits

Commits on Dec 29, 2022