secc
/
seL4-docs
mirror of https://github.com/seL4/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
seL4-docs/LICENSES
History
Gerwin Klein 4f5fbada5b
Fix license lints 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 		2025-07-16 09:57:23 +10:00
..
BSD-2-Clause.txt Add SPDX license identifiers 2020-11-30 09:25:37 +11:00
CC-BY-NC-SA-4.0.txt Fix license lints 2025-07-16 09:57:23 +10:00
CC-BY-SA-4.0.txt Add SPDX license identifiers 2020-11-30 09:25:37 +11:00
GPL-2.0-only.txt Add SPDX license identifiers 2020-11-30 09:25:37 +11:00
GPL-2.0-or-later.txt Add SPDX license identifiers 2020-11-30 09:25:37 +11:00
LicenseRef-Trademark.txt Add SPDX license identifiers 2020-11-30 09:25:37 +11:00
MIT.txt Add SPDX license identifiers 2020-11-30 09:25:37 +11:00
MPL-2.0.txt Fix license lints 2025-07-16 09:57:23 +10:00