jedi4ever/devopsdays-webby — pull request #1276 by jbraeuer (2014-09-25 12:04:56+00:00)
Title: Berlin 2014: Improve navigation.

Drop menu items that are no longer useful.