Skip to content

Edited makefile and added prefix.#58

Open
gapisani wants to merge 3 commits into
jszczerbinsky:mainfrom
gapisani:main
Open

Edited makefile and added prefix.#58
gapisani wants to merge 3 commits into
jszczerbinsky:mainfrom
gapisani:main

Commits

Commits on Oct 18, 2022