ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-19 23:53:55 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
Files
b0e558f4860f539c31d38d85c2c3bc9fc13f94fb
genode/repos/os/doc
History
Norman Feske cb5b688eb9 Remove <configfile> feature from init 
Fixes #3753
2020-05-18 10:16:13 +02:00
..
init.txt
Remove <configfile> feature from init
2020-05-18 10:16:13 +02:00