comparison docs/filters.rst @ 226:90bbece6fae8

Implement an option for my-doc-fonts.sty to not change anything. Skip the otherwise implemented default "dejavusansmono".
author Franz Glasner <fzglas.hg@dom66.de>
date Fri, 15 May 2026 19:59:20 +0200
parents 4e4c83a87387
children e03e8cfdcece
comparison
equal deleted inserted replaced
225:eb3d0ae3143b 226:90bbece6fae8