ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-18 02:40:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
c89864c830
genode/repos/gems/recipes
History
Norman Feske d47f87a768 terminal: use GUI session directly 
Issue #3196
Fixes #3970
2020-12-23 13:38:31 +01:00
..
api depot: update recipe hashes 2020-10-09 13:35:57 +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 terminal: use GUI session directly 2020-12-23 13:38:31 +01:00