diff etc/tutorials/TUTORIAL.de @ 98388:a0d0310a78a7

Fix previous change.
author Glenn Morris <rgm@gnu.org>
date Sun, 28 Sep 2008 17:57:00 +0000
parents 4e76a03232e5
children c90853557b90
line wrap: on
line diff