diff docs/conf.py @ 6782:c81bb5135307

topic: make sure filtername is not None This is similar to 4188a0570ba1 in core.
author Anton Shestakov <av6@dwimlabs.net>
date Sat, 16 Mar 2024 18:27:18 -0300
parents c77bbd1adeee
children
line wrap: on
line diff