genode-ehmry/tool/prepare-port
2019-07-01 13:56:43 +02:00
..
builder.sh Add Nix port tooling 2019-07-01 13:56:43 +02:00
default-builder.sh Add Nix port tooling 2019-07-01 13:56:43 +02:00
default.nix Add Nix port tooling 2019-07-01 13:56:43 +02:00
setup.sh Add Nix port tooling 2019-07-01 13:56:43 +02:00