diff make-dist @ 44361:bb4d8a7cff31

Update to use new tutorial facility.
author Pavel Janík <Pavel@Janik.cz>
date Wed, 03 Apr 2002 09:37:48 +0000
parents 1109a8546104
children 071e287dcbde
line wrap: on
line diff