comparison make-dist @ 42078:056999d17bee

Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Sun, 16 Dec 2001 17:57:16 +0000
parents 9ac2c536efe5
children 627b778e6b76
comparison
equal deleted inserted replaced
42077:3a0f6537e4e9 42078:056999d17bee