ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-05 10:39:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/ports/recipes
History
Norman Feske d47f87a768 terminal: use GUI session directly 
Issue #3196
Fixes #3970
2020-12-23 13:38:31 +01:00
..
api/noux
Move stubby to genode-world
2020-06-29 14:25:27 +02:00
pkg
terminal: use GUI session directly
2020-12-23 13:38:31 +01:00
raw
terminal: use GUI session directly
2020-12-23 13:38:31 +01:00
src
depot: update recipe hashes
2020-12-18 09:10:52 +01:00