log doc/misc/reftex.texi @ 86418:bbc7f9c9ad6e

age author description
Thu, 06 Sep 2007 05:10:13 +0000 Glenn Morris (setfilename): Go up one more level to ../../info.
Thu, 06 Sep 2007 05:01:53 +0000 Glenn Morris Move here from ../../man