diff make-dist @ 20168:13074c25ab06

Indicate in messages if source code is being loaded.
author Simon Marshall <simon@gnu.org>
date Thu, 23 Oct 1997 14:58:25 +0000
parents 07e5f3623def
children 815e934f5ffc
line wrap: on
line diff