diff etc/TUTORIAL.de @ 31855:80e3cb181da7

Change setfilename.
author Dave Love <fx@gnu.org>
date Fri, 22 Sep 2000 21:16:52 +0000
parents e96ffe544684
children c85b8316bcae
line wrap: on
line diff