ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
9,112 Commits 8 Branches 38 Tags 41 MiB
208294b0d3
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