seL4-docs/LICENSES
Gerwin Klein 977ed44f17 Add SPDX license identifiers
This commit makes the repository conform to the REUSE spec, using SPDX
license identifiers and copyright info for all files.

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
2020-11-30 09:25:37 +11:00
..
BSD-2-Clause.txt Add SPDX license identifiers 2020-11-30 09:25:37 +11: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