diff configmix/compat.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 ff964825a75a
children eed16a1ec8f3
line wrap: on
line diff