diff docs/introduction.rst @ 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 57ff12610dc5
children af371f9c016d
line wrap: on
line diff