hpicgs/gloperate — pull request #33 by scheibel (2014-11-27 19:21:02+00:00)
Title: Navigation

This PR depends on https://github.com/hpicgs/gloperate/pull/30 and should not be merged before.