diff doc/conf.py @ 3487:75427f0a5445

primivitus: updated constants following global renaming, config section is now `tui` instead of `primitivus`
author Goffi <goffi@goffi.org>
date Sun, 21 Mar 2021 18:16:52 +0100
parents be6d91572633
children 4705f80b6e23
line wrap: on
line diff