seL4-webserver/LICENSES
Gerwin Klein 5295c0774a Foundation setup and SPDX identifiers
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
2021-07-28 11:00:51 +10:00
..
BSD-2-Clause.txt Foundation setup and SPDX identifiers 2021-07-28 11:00:51 +10:00
CC-BY-SA-4.0.txt Foundation setup and SPDX identifiers 2021-07-28 11:00:51 +10:00
GPL-2.0-only.txt Foundation setup and SPDX identifiers 2021-07-28 11:00:51 +10:00