History log of /seL4-l4v-master/graph-refine/LICENSE.md
Revision Date Author Comments
# 22dacb74 30-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

Add a LICENSE.md file for github

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>