Max R.D. Parmer da5ec79cf9 Use usr/bin/env for all python bangpaths to enable virtualenv use. ... Very useful with python3 as the default platform.		2014-08-03 18:53:14 -07:00
..
bitfield_gen.py	Release snapshot	2014-07-18 05:03:59 +10:00
changed.sh	Release snapshot	2014-07-18 05:03:59 +10:00
invocation_header_gen.py	Release snapshot	2014-07-18 05:03:59 +10:00
sel4_idl.dtd	Release snapshot	2014-07-18 05:03:59 +10:00
syscall_header_gen.py	Release snapshot	2014-07-18 05:03:59 +10:00
syscall_stub_gen.py	Use usr/bin/env for all python bangpaths to enable virtualenv use.	2014-08-03 18:53:14 -07:00
xmllint.sh	Release snapshot	2014-07-18 05:03:59 +10:00