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