diff make-dist @ 4513:0563affb6b38

ring-mod -> mod
author Paul Eggert <eggert@twinsun.com>
date Tue, 10 Aug 1993 04:14:17 +0000
parents 264d488d5bc7
children e19a64761187
line wrap: on
line diff