alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Files
effedf5e26962cbf602f1c89ee7b91ec0385ced5
genode-world/run/flif.run
Norman Feske 46a588a0b1 Rename "Nitpicker" service name to "Gui" 
Issue genodelabs/genode#3778
2020-06-19 15:34:41 +02:00

2.3 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink