diff lib-src/=timer.c @ 29819:7a583e16423b

@setfilename to ../info/reftex.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 20 Jun 2000 19:54:37 +0000
parents dd3b83e4ceb0
children
line wrap: on
line diff