mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
Move gems/include/terminal to os/include/terminal
The terminal utilities provided under 'include/terminal' depend on the base API and the 'os' repository only. So we can incorporate them into 'os'.
This commit is contained in:
Reference in New Issue
Block a user