diff lispref/text.texi @ 46387:e54dcde23afd

Ignore *.op and *.ops, too.
author Kai Großjohann <kgrossjo@eu.uu.net>
date Mon, 15 Jul 2002 12:06:01 +0000
parents 73b33fa2ec78
children ee41d5989edf
line wrap: on
line diff