comparison make-dist @ 18126:f7cc7a56414c

Finish installing previous change.
author Richard M. Stallman <rms@gnu.org>
date Mon, 02 Jun 1997 19:58:49 +0000
parents 0696d4c9aa15
children 6f263a83b071
comparison
equal deleted inserted replaced
18125:5b0dfe8c78fb 18126:f7cc7a56414c