Herwig Hochleitner d620f80318 pixie, dust: rename pxi -> pixie-vm ...

see https://github.com/pixie-lang/pixie/issues/455

2016-08-19 02:38:12 +02:00

..

default.nix

pixie, dust: rename pxi -> pixie-vm

2016-08-19 02:38:12 +02:00

dust.nix

pixie, dust: rename pxi -> pixie-vm

2016-08-19 02:38:12 +02:00

load_paths.patch

…

make-paths-configurable.patch

…