ontohub/ontohub — pull request #979 by eugenk (2014-07-24 15:13:22+00:00)
Title: rename method remote? to mirror?

fixes #963