mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 09:46:20 +00:00
parent
226c4a475b
commit
6611c38184
2
repos/os/recipes/src/log_terminal/content.mk
Normal file
2
repos/os/recipes/src/log_terminal/content.mk
Normal file
@ -0,0 +1,2 @@
|
||||
SRC_DIR = src/server/log_terminal
|
||||
include $(GENODE_DIR)/repos/base/recipes/src/content.inc
|
1
repos/os/recipes/src/log_terminal/hash
Normal file
1
repos/os/recipes/src/log_terminal/hash
Normal file
@ -0,0 +1 @@
|
||||
2017-12-19 7b4f802007439c9c78c429df39de31cc4e3b005e
|
3
repos/os/recipes/src/log_terminal/used_apis
Normal file
3
repos/os/recipes/src/log_terminal/used_apis
Normal file
@ -0,0 +1,3 @@
|
||||
base
|
||||
os
|
||||
terminal_session
|
Loading…
x
Reference in New Issue
Block a user