genode/repos/dde_rump/lib
Josef Söntgen 9e443c78db dde_rump: migrate to new ports mechanism
Issue #1082
2014-05-27 11:14:46 +02:00
..
import Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
mk dde_rump: migrate to new ports mechanism 2014-05-27 11:14:46 +02:00