ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-27 17:18:53 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
9,278 Commits 2 Branches 70 Tags 87 MiB
eb3a81a874
Commit Graph

1 Commits

Author SHA1 Message Date
Norman Feske
208294b0d3 Turn pkg/noux-system into pkg/system_shell 
The new package does no longer require noux.

Issue #3696
 2020-03-26 11:38:59 +01:00