alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Files
a76d2314464a2f895edbf4ba685f120776eaa04a
genode-world/run/log_fader.run
Norman Feske ee6b488fde log_fader.run: rename nit_fader to gui_fader 
Issue genodelabs/genode#3778
2020-06-19 15:41:48 +02:00

8.4 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink