tree bc591e5ef8f21f176a5a753a8d741bb2bf416525
parent 2535c76269426bdbf728dfb3404cc2fb1bd1d155
author Akron <nils@diewald-online.de> 1545400745 +0100
committer Akron <nils@diewald-online.de> 1545400745 +0100

Make doc navigation extensible

Change-Id: I6fffb2e33439d6c539d05bb65a3b81d4e2267f57