ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 05:37:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
7f0c3eee6d
genode/repos/dde_rump/patches
History
Christian Prochaska 493bcc80df dde_rump: don't build non-Genode shared libraries 
Fixes #1512
2015-05-26 09:39:48 +02:00
..
build.patch dde_rump: Update to current version 2015-01-20 11:23:49 +01:00
evbarm.patch Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
lock.patch dde_rump: Update to current version 2015-01-20 11:23:49 +01:00
mk.patch dde_rump: Update to current version 2015-01-20 11:23:49 +01:00
no_shared_libs.patch dde_rump: don't build non-Genode shared libraries 2015-05-26 09:39:48 +02:00