diff make-dist @ 98943:ec4e32b94c9f

Fix last change (again).
author Eli Zaretskii <eliz@gnu.org>
date Mon, 20 Oct 2008 19:04:30 +0000
parents 9419b837e9c6
children 38e7317321ea
line wrap: on
line diff