History log of /seL4-refos-master/seL4_tools/misc/filter.py
Revision Date Author Comments
# 9f904ed2 06-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

convert license headers to SPDX

Includes license review of 3rd-party files, adding missing upstream
headers, and moving the UNSW OZPLB license into its own file rather
than replicating it in the header.


# 41add1fa 04-Jun-2019 Simon Shields <simon.shields@data61.csiro.au>

style: split filter logic into separate file

Soon we'll want to use this from shell scripts to exclude files from any
checks run by them.