mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-18 18:56:29 +00:00
7a97cd70aa
Issue #3778
3 lines
88 B
Makefile
3 lines
88 B
Makefile
SRC_DIR = src/server/gui_fader
|
|
include $(GENODE_DIR)/repos/base/recipes/src/content.inc
|