History log of /seL4-refos-master/seL4_tools/cmake-tool/LICENSE_BSD2.txt
Revision Date Author Comments
# 8834dde7 20-May-2018 Kent McLeod <Kent.Mcleod@data61.csiro.au>

CMake: Add toplevel BSD2 license file