History log of /seL4-l4v-10.1.1/l4v/CONTRIBUTING.md
Revision Date Author Comments
# a4519c52 13-Oct-2015 Gerwin Klein <gerwin.klein@nicta.com.au>

update README and CONTRIBUTING links

(after seL4.systems update)
# 848bbe92 21-Jan-2015 Gerwin Klein <gerwin.klein@nicta.com.au>

document how to contribute; link to http://seL4.systems/Contributing