diff make-dist @ 18011:e5ae89a02d50

(Faset): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Thu, 29 May 1997 00:14:20 +0000
parents b8a3deb464b9
children 0696d4c9aa15
line wrap: on
line diff