Daniel García Moreno 7ea1575b30 Use xz instead of gz for release package		2017-12-13 13:56:16 +01:00
..
cargo.sh	Re-structure the repo into a cargo workspace instead.	2017-12-06 03:12:08 +02:00
release.sh	Use xz instead of gz for release package	2017-12-13 13:56:16 +01:00