diff AUTHORS @ 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 6f2aa2c28da5
children 6f0077394ba2
line wrap: on
line diff