genode/repos/dde_bsd/lib/mk
2015-05-20 17:52:58 +02:00
..
x86_32 dde_bsd: prefix audio library name 2015-05-20 17:52:58 +02:00
x86_64 dde_bsd: prefix audio library name 2015-05-20 17:52:58 +02:00
dde_bsd_audio.inc dde_bsd: prefix audio library name 2015-05-20 17:52:58 +02:00