genode/repos/os/recipes/api/session.inc
2017-05-31 13:15:56 +02:00

8 lines
132 B
PHP

content: $(MIRRORED_FROM_REP_DIR) LICENSE
$(MIRRORED_FROM_REP_DIR):
$(mirror_from_rep_dir)
LICENSE:
cp $(GENODE_DIR)/LICENSE $@