diff make-dist @ 49603:7444a5c78c72

Restore missing space and put a comment to protect it from being deleted as trailing whitespace.
author Juanma Barranquero <lekktu@gmail.com>
date Tue, 04 Feb 2003 17:07:28 +0000
parents 23a1cea22d13
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff