ontohub/ontohub — pull request #242 by 0robustus1 (2013-09-17 11:58:45+00:00)
Title: Correcting158 show no symbols for Distributed Ontologies

Solves issue #158 in two cherry-sized commits.

Now when you look at an Ontology (redirected from `ontology#show`) you only see the
childrens tab (and no symbols/entities), which is opened by default.