History log of /seL4-camkes-master/projects/camkes-tool/LICENSE_BSD2.txt
Revision Date Author Comments
# 3ce1f977 13-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix whitespace

- remove trailing whitespace
- remove duplicate blank lines
- remote blank lines at end of file
# 8b2ec3e6 20-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses
# cc64bb50 21-Jul-2014 TrustworthySystems <gatekeeper@sel4.systems>

Release snapshot
# ecad3531 21-Jul-2014 TrustworthySystems <gatekeeper@sel4.systems>

Release snapshot