comparison lib-src/=timer.c @ 17518:1eecbe9dd89c

(texinfo-master-menu-header): Delete newline at start. (texinfo-insert-master-menu-list): Add @detailmenu and @end detailmenu commands.
author Richard M. Stallman <rms@gnu.org>
date Sun, 20 Apr 1997 21:02:06 +0000
parents dd3b83e4ceb0
children
comparison
equal deleted inserted replaced
17517:8f952e921136 17518:1eecbe9dd89c