diff docs/conf.py @ 2541:383efcb9ed0f stable

serveronly: also backport the fixes from 5adb8bdb935e The fixes to the computation of "relevant" markers. Was missing for server only.
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Thu, 01 Jun 2017 03:19:07 +0200
parents fc6183051112
children 1b4c92621e23
line wrap: on
line diff