diff docs/conf.py @ 267:d715c10f2930

Allow an alternative to the "-*-ignore-*-" mode line: "-*- ignore -*-" (with spaces)
author Franz Glasner <fzglas.hg@dom66.de>
date Thu, 10 Sep 2020 02:01:28 +0200
parents 13711ba8e81e
children cff23c821665
line wrap: on
line diff