ontohub/ontohub — pull request #677 by SGraef (2014-02-13 11:12:29+00:00)
Title: should fix #660

This should rename all distributed Ontology statements into Ontology Library