protegeproject/webprotege-gh-integration

A small library that contains data structures for integration of GitHub Repos into WebProtege projects

Java