Skip to content

update Makefile.prod to reflect changes done in upstream Makefile#99

Merged
rgdoliveira merged 1 commit intokiegroup:mainfrom rgdoliveira:main_makefileprodNov 15, 2024

Commits

Commits on Nov 15, 2024