diff docs/templates/inc/main-navigation.html @ 923:5713b6a2850d

chef: Optimize startup time a little bit.
author Ludovic Chabant <ludovic@chabant.com>
date Fri, 29 Sep 2017 19:59:19 -0700
parents 61d53d2163d6
children
line wrap: on
line diff