ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-28 17:48:53 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
bfddf08f75
genode/repos/os/recipes/api/gui_session/content.mk

3 lines
88 B
Makefile
Raw Normal View History

Rename include/nitpicker_session to gui_session This patch also renames the depot api archive accordingly. Issue #3778
2020-06-11 12:27:20 +00:00
MIRRORED_FROM_REP_DIR := include/gui_session
include $(REP_DIR)/recipes/api/session.inc
Reference in New Issue Copy Permalink