genode-ehmry/tool/prepare-port
2019-07-03 22:30:53 +02:00
..
builder.sh Add Nix port tooling 2019-07-03 22:30:53 +02:00
default-builder.sh Add Nix port tooling 2019-07-03 22:30:53 +02:00
default.nix Add Nix port tooling 2019-07-03 22:30:53 +02:00
setup.sh Add Nix port tooling 2019-07-03 22:30:53 +02:00