ontohub/ontohub — pull request #729 by eugenk (2014-03-05 09:53:29+00:00)
Title: fix ontology button display permission check

fixes #720