mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-27 17:18:53 +00:00
53e44f8bfd
This change avoids many repetetive Genode:: prefixes, making the code easier to read. The patch also includes a few consistency fixes regarding include guards and file headers. It also renames Platform_device::String to Platform_device::Device:name. Issue #2243 |
||
---|---|---|
.. | ||
platform_device | ||
platform_session |