diff make-dist @ 90230:fa744c8b8632

Fix merge mistake
author Miles Bader <miles@gnu.org>
date Mon, 19 Sep 2005 11:14:02 +0000
parents 890cc78a5a24
children 5e2d3828e89f
line wrap: on
line diff