History log of /seL4-refos-master/libs/libsel4platsupport/LICENSE_BSD2.txt
Revision Date Author Comments
# 0016dfc6 13-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix all the whitespace

- remove trailing whitespace
- remove duplicate blank lines
- remove blank lines at end of files


# 9214341c 04-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses