ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-03-12 15:34:23 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
12,696 Commits 2 Branches 71 Tags
Commit Graph

102 Commits

Author SHA1 Message Date
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
Sebastian Sumpf
a932fc2e5a depot: recipe for rump/file_system 
Ref #2446
 2017-10-05 17:39:56 +02:00