diff docs/templates/inc/main-navigation.html @ 565:ff714d7f074d

serve: Fix error reporting when the background pipeline fails.
author Ludovic Chabant <ludovic@chabant.com>
date Fri, 09 Oct 2015 16:49:12 -0700
parents 61d53d2163d6
children
line wrap: on
line diff