der richter 4a8bf91d4c build: fix build with older command line tools		2019-07-21 18:13:07 +03:00
..
__init__.py	…
compiler.py	build: prefer C11 mode	2018-05-24 19:56:35 +02:00
compiler_swift.py	build: fix build with older command line tools	2019-07-21 18:13:07 +03:00
devices.py	build: set default cdrom and dvd devices on linux	2014-06-30 23:19:53 +02:00