History log of /seL4-refos-master/kernel/LICENSES/LPPL-1.3c.txt
Revision Date Author Comments
# d33df8fa 03-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

add full text of all licenses

These are the texts of all licenses mentioned anywhere in the
seL4 repository.