# HG changeset patch
# User David Kastrup <dak@gnu.org>
# Date 1024324954 0
# Node ID c66e6aeb3d336ccfa95500d3db4461992902a780
# Parent  1bcf7f390ca21f75ee31cd909a8d1e017d5a0303
*** empty log message ***

diff -r 1bcf7f390ca2 -r c66e6aeb3d33 man/ChangeLog
--- a/man/ChangeLog	Mon Jun 17 11:50:12 2002 +0000
+++ b/man/ChangeLog	Mon Jun 17 14:42:34 2002 +0000
@@ -1,3 +1,7 @@
+2002-06-17  David Kastrup  <David.Kastrup@t-online.de>
+
+	* tramp.texi: use correct @setfilename
+
 2002-06-17  Kai Gro,b_(Bjohann  <Kai.Grossjohann@CS.Uni-Dortmund.DE>
 
 	* eshell.texi: Remove unnecessary prev/next/up pointers in @node