annotate doc/_ext/__init__.py @ 4129:51744ad00a42

cli: `rich` initial integration
author Goffi <goffi@goffi.org>
date Wed, 18 Oct 2023 15:30:07 +0200
parents 62e81b1058f8
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source