mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 08:25:38 +00:00
parent
da17f2cbd3
commit
9f70084524
9
repos/base/recipes/api/vm_session/content.mk
Normal file
9
repos/base/recipes/api/vm_session/content.mk
Normal file
@ -0,0 +1,9 @@
|
||||
MIRRORED_FROM_REP_DIR := include/vm_session
|
||||
|
||||
content: $(MIRRORED_FROM_REP_DIR) LICENSE
|
||||
|
||||
$(MIRRORED_FROM_REP_DIR):
|
||||
$(mirror_from_rep_dir)
|
||||
|
||||
LICENSE:
|
||||
cp $(GENODE_DIR)/LICENSE $@
|
1
repos/base/recipes/api/vm_session/hash
Normal file
1
repos/base/recipes/api/vm_session/hash
Normal file
@ -0,0 +1 @@
|
||||
2019-05-20 2a0981ba2dbee8f45f581d26c63ca20649172946
|
Loading…
x
Reference in New Issue
Block a user