diff info/dir @ 92095:736ad4adc7de

Fix previous change.
author Glenn Morris <rgm@gnu.org>
date Fri, 22 Feb 2008 08:31:15 +0000
parents cd07cf3ffb6a
children cc217a7a7b17
line wrap: on
line diff