crowbar/crowbar — pull request #1858 by vuntz (2013-07-01 11:44:32+00:00)
Title: Rewrite code updating navigation.rb

We re-generate navigation.rb fully now, instead of updating it live
(which can easily break if navigation.rb gets touched by someone).

Crowbar-Pull-ID: 9949518eff643f7128fa9218968da06d7beb2ec1

Crowbar-Release: pebbles