alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Files
563e4c8fb572311dc5b523f1a1a96a46bc64accc
genode-world/recipes/pkg/terminal_editor/runtime
Norman Feske 563e4c8fb5 Rename <nitpicker> in runtime files to <gui> 
Issue genodelabs/genode#3778
2020-06-19 15:34:41 +02:00

1.1 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink