diff make-dist @ 7257:3759ad84023b

Initial revision
author Richard M. Stallman <rms@gnu.org>
date Sun, 01 May 1994 22:09:01 +0000
parents 15e380b232fa
children 5a03fc943b38
line wrap: on
line diff