alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Rename run/nitpicker_app.inc to gui_app.inc

Browse Source 
Issue genodelabs/genode#3778
This commit is contained in:
Norman Feske
2020-06-19 13:31:51 +02:00
parent 563e4c8fb5
commit 3861c30ae7
14 changed files with 13 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
run/supertux.run
View File

@@ -29,4 +29,4 @@ set boot_modules {
supertux_data.tar
}
source ${genode_dir}/repos/world/run/nitpicker_app.inc
source ${genode_dir}/repos/world/run/gui_app.inc