An error occurred while fetching folder content.
Select Git revision
schaertl_andreas
Name | Last commit | Last update |
---|
- converts .xz files to .gz recursively - graphdb wants .gz files; so there we go
Name | Last commit | Last update |
---|---|---|