Skip to content

Remove unused PLATFORM argument from ais_add_executable()#240

Merged
derobins merged 1 commit into
developfrom
derobins/remove_PLATFORM_arg
Mar 27, 2026
Merged

Remove unused PLATFORM argument from ais_add_executable()#240
derobins merged 1 commit into
developfrom
derobins/remove_PLATFORM_arg

Commits

Commits on Mar 26, 2026