Skip to content

Add safe mode option - #28

Merged
daniel-larraz merged 1 commit into
kind2-mc:mainfrom
Jabe03:safe-mode
Sep 22, 2026
Merged

daniel-larraz merged 1 commit into
kind2-mc:mainfrom
Jabe03:safe-mode

Add safe mode option, which sets the no_include flag for Kind 2

a2f3d60
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
build
succeeded Sep 22, 2026 in 1m 0s