diff configure @ 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 3a6f0c639247
children 5502ee23a19b
line wrap: on
line diff