2 Commits

Author SHA1 Message Date
Norman Feske
af3ad71d80 Rename 'Nitpicker' namespace to 'Gui'
Issue genodelabs/genode#3778
2020-06-19 15:41:48 +02:00
Josef Söntgen
474a49a32c Rename ssh_client pkg
It is a client after all and it prevents clashing with the (currently
not existing) ssh_terminal pkg receipe.

Fixes #119.
2018-11-27 14:42:21 +01:00