mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
committed by
Norman Feske
parent
2f7e421eed
commit
1d3ec6f0ae
@@ -88,7 +88,6 @@ sub_rm
|
||||
synced_interface
|
||||
tar_rom
|
||||
thread
|
||||
thread_join
|
||||
timed_semaphore
|
||||
timeout
|
||||
timer
|
||||
|
||||
Reference in New Issue
Block a user