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

3.3 KiB

Raw Blame History

View Raw