ontohub/ontohub — pull request #814 by SGraef (2014-04-03 17:01:51+00:00)
Title: 585 repository settings page

This place some actions for repositories in an new tab with an subnavigation for better organisation and fixes additionaly #771