diff make-dist @ 106957:368fd338fecd

Fix bug#5435.
author Juanma Barranquero <lekktu@gmail.com>
date Thu, 21 Jan 2010 13:25:54 +0100
parents 1d1d5d9bd884
children 2fb32340c261 43a1fb0eb2d8
line wrap: on
line diff