annotate docs/_static/_dummy @ 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 ab3d0326419c
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source