ontohub/ontohub — pull request #243 by 0robustus1 (2013-09-17 12:15:32+00:00)
Title: Augmenting161 show membership to Distributed Ontology

Show the parent Distributed Ontology directly under the Ontology headline.