diff doc/conf.py @ 4133:33fd658d9d00

cli (base): catch `SystemExit` to do a proper `quit` when `Ctrl-C` is pressed.
author Goffi <goffi@goffi.org>
date Wed, 18 Oct 2023 15:33:38 +0200
parents c0bb4b3fdccf
children
line wrap: on
line diff