diff docs/conf.py @ 4294:8974a05a49fa

split: rework the prompt to be more standard We dropped the initial capital and moved to a positive question.
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Wed, 12 Dec 2018 17:22:58 +0100
parents 9aec8fec2bf8
children ce163aaeba37
line wrap: on
line diff