History log of /seL4-camkes-master/tools/cogent/LICENSE_GPLv2.txt
Revision Date Author Comments
# be139afa 03-May-2016 Zilin Chen <Zilin.Chen@nicta.com.au>

fix corrupted LICENSE files
# 97727027 01-May-2016 Peter Chubb <peter.chubb@nicta.com.au>

Initial Release