diff docs/templates/inc/nav.html @ 1132:3bcb2d446397

fix: Correctly invalidate pages that use dirtied sources.
author Ludovic Chabant <ludovic@chabant.com>
date Mon, 16 Apr 2018 22:22:54 -0700
parents 94d7d5e38571
children
line wrap: on
line diff