ontohub/ontohub — pull request #831 by eugenk (2014-04-09 11:49:52+00:00)
Title: 582 disable editing on mirrors

fixes #582.