Use xz instead of gzip

Resolves: #982387
This commit is contained in:
Honza Horák 2013-07-09 10:11:48 +02:00 • committed by Michal Schorm
commit f6965ec0a1
4 changed files with 6 additions and 3 deletions

1
.gitignore vendored
View file

@ -2,3 +2,4 @@
/mysql-5.5.31-nodocs.tar.gz
/mysql-5.5.32-nodocs.tar.gz
/mysql-man-gpl.tar.gz
/mysql-5.5.32-nodocs.tar.xz