History log of /seL4-l4v-master/seL4/CONTRIBUTORS.md
Revision Date Author Comments
# bbfd3845 09-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

update CONTRIBUTORS.md from repo

Updated contributors list from git history.


# b0816d2d 03-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

Release docs owned by Data61 under CC-BY-SA-4.0

CC-BY-SA-4.0 is a more appropriate license for documentation than BSD
or GPL.


# a061d173 13-Oct-2015 Gerwin Klein <gerwin.klein@nicta.com.au>

more CONTRIBUTORS


# 5ddff6cf 31-Mar-2015 Gerwin Klein <gerwin.klein@nicta.com.au>

add Tim Newsham and Robbie Van Vossen to contributor list


# 1458c9c1 07-Aug-2014 Gerwin Klein <gerwin.klein@nicta.com.au>

add Max's contribution


# 783f0204 07-Aug-2014 Gerwin Klein <gerwin.klein@nicta.com.au>

people who contributed to code, design, and docs

(state before release on 29 July 2014)