diff etc/TUTORIAL.de @ 41660:1fd5c468b3da

(maybe_bootstrap): Fix previous change.
author Pavel Janík <Pavel@Janik.cz>
date Thu, 29 Nov 2001 06:45:38 +0000
parents c85b8316bcae
children ca8f8dfc1aad
line wrap: on
line diff