diff lispref/display.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 6cf0fbc1d7da
children 12862351ee03
line wrap: on
line diff