Skip to content

nix: make DetSys installer the default#2447

Merged
gcurtis merged 1 commit intomainfrom
gcurtis/detsys-installer
Dec 13, 2024
Merged

nix: make DetSys installer the default#2447
gcurtis merged 1 commit intomainfrom
gcurtis/detsys-installer

Commits

Commits on Dec 12, 2024