Skip to content

Update makefiles to 08e0b7e0#28

Merged
shingarov merged 1 commit intoshingarov:masterfrom
janvrany:pr/update-makefiles-to-08e0b7e0
Aug 18, 2025
Merged

Update makefiles to 08e0b7e0#28
shingarov merged 1 commit intoshingarov:masterfrom
janvrany:pr/update-makefiles-to-08e0b7e0

Commits

Commits on Aug 18, 2025