comparison 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
comparison
equal deleted inserted replaced
266:46571485b7d4 267:d715c10f2930