genode/repos/dde_rump/recipes
Christian Helmuth 8b05deba13 rump: remove .git directories from src recipe
This spares us about 200M but still leaves us with 600M.
2017-11-09 12:18:40 +01:00
..
src/rump rump: remove .git directories from src recipe 2017-11-09 12:18:40 +01:00