ontohub/ontohub — pull request #645 by SGraef (2014-02-07 08:31:02+00:00)
Title: renaming issue related tabs

fixes #596