Open
Description
The Downloads page links to protege_files.tar.gz, but this code in this repository does not compress the tar file. Modify the Java code or the Jenkinsfile to gzip protege_files.tar.
{{ message }}
No one assigned
No type
No projects
No milestone
None yet
No branches or pull requests