GitHub repository: protegeproject/protege-distribution
Created: 2015-09-11T18:52:48Z
Description: Build files for the protege distribution that includes 3rd party plugins