comparison make-dist @ 45220:f7c52a0eaf23

Refine previous change.
author Colin Walters <walters@gnu.org>
date Fri, 10 May 2002 03:35:35 +0000
parents f526d32944b1
children 23a1cea22d13
comparison
equal deleted inserted replaced
45219:a7b0e54f67d2 45220:f7c52a0eaf23