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	pixie: init at 0-1333	2016-02-28 03:15:07 +01:00
make-paths-configurable.patch	dust: init at 0-91	2016-02-29 21:14:52 +01:00