Skip to content

Update copyright dates for generated Cargo manifests#85

Open
nspin wants to merge 1 commit into
seL4:mainfrom
nspin:pr/update-copyright-dates-for-generated-files
Open

Update copyright dates for generated Cargo manifests#85
nspin wants to merge 1 commit into
seL4:mainfrom
nspin:pr/update-copyright-dates-for-generated-files

Commits

Commits on Feb 12, 2024