diff contrib/undumprevlog @ 6976:b072266a83d1

convert: document source and sink identifiers, fix error message
author Patrick Mezard <pmezard@gmail.com>
date Tue, 02 Sep 2008 22:21:19 +0200
parents 9c426da6b03b
children d13913355390
line wrap: on
line diff