Joachim Fasting 4f320d30a4 gede: fix sandboxed build ...

build.py relies on /usr/bin/env; invoke python directly instead to
sidestep the issue.

2017-07-01 21:41:33 +02:00

..

default.nix

gede: fix sandboxed build

2017-07-01 21:41:33 +02:00