|
app
|
driver_manager: whitespace fixes
|
2022-10-12 12:09:36 +02:00 |
|
lib
|
gems: src/lib/trace_recorder -> src/trace_recorder
|
2022-09-19 14:00:34 +02:00 |
|
server
|
xml_node: change with_sub_node signature
|
2022-09-19 14:00:33 +02:00 |
|
test
|
Move exec_terminal to genode-world
|
2022-02-15 10:23:15 +01:00 |
