diff make-dist @ 111474:143e567b63bc

Fix syntax error in previous commit.
author Michael Albinus <michael.albinus@gmx.de>
date Wed, 10 Nov 2010 10:08:05 +0100
parents 8752cead918b
children d276c036caef
line wrap: on
line diff