log doc/gendoc.py @ 51915:6223892833db default tip

age author description
Thu, 05 Sep 2024 12:28:12 +0200 Pierre-Yves David help: add :config-doc:`section.key` shorthand to insert documentation
Wed, 04 May 2022 18:17:44 +0200 Raphaël Gomès branching: merge stable into default