ontohub/ontohub — pull request #751 by eugenk (2014-03-13 11:08:19+00:00)
Title: 701 delete repository error

fixes #701