diff make-dist @ 15825:615a180ced87

Describe djgpp library replacement files.
author Richard M. Stallman <rms@gnu.org>
date Mon, 05 Aug 1996 03:30:41 +0000
parents ffc0af16b32a
children 9694822642a7
line wrap: on
line diff