diff make-dist @ 86280:8370fc58720a

Undo 2007-11-21 change by Dan Nicolaescu.
author Juanma Barranquero <lekktu@gmail.com>
date Wed, 21 Nov 2007 10:50:13 +0000
parents 7a2e26f2fa76
children b4d02fc0c471 880960b70474
line wrap: on
line diff