diff BUGS @ 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 ac52af4a044c
children
line wrap: on
line diff