log

age author description
Tue, 31 Oct 2006 13:34:17 +0000 diego Run dirclean instead of clean on distclean, this way we only need to
Tue, 31 Oct 2006 13:19:10 +0000 jheryan :Little typo
Tue, 31 Oct 2006 13:16:12 +0000 jheryan Synced to 26.10.2006 with respect to later utf-8 conversion.