Rework Cargo manifest management again#38

Merged

nspin merged 1 commit intoseL4:mainfrom nspin:pr/rework-cargo-manifest-generation-2

Oct 24, 2023

+1,046-438

Commits on Oct 24, 2023

Rework Cargo manifest management tool
nspin
committed