History log of /seL4-camkes-master/projects/capdl/LICENSES/CC-BY-SA-4.0.txt
Revision Date Author Comments
# 9f1ba467 17-Jun-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

Convert to SPDX license tags

This includes marking all documentation files CC-BY-SA-4.0.