genode/ports/src
Norman Feske b1f63e3356 Turn 'platform_env.h' into a private header
This patch removes 'platform_env.h' from the public API headers because
this header was not part of the API anyway.
2013-02-14 13:23:36 +01:00
..
app base: add remove_client to rm_session 2013-02-11 12:01:25 +01:00
lib Turn 'platform_env.h' into a private header 2013-02-14 13:23:36 +01:00
noux base: add remove_client to rm_session 2013-02-11 12:01:25 +01:00
noux-pkg Noux: add noux-pkg/openssh interactive run-script 2012-11-26 20:58:10 +01:00
test Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
vancouver vancouver: coding style 2013-02-13 15:09:23 +01:00