Skip to content
Snippets Groups Projects
user avatar
Andreas Schärtl authored
- converts .xz files to .gz recursively

- graphdb wants .gz files; so there we go
1203f478
History
Name Last commit Last update