log

age author description
Tue, 16 Jul 2002 06:43:19 +0000 Juanma Barranquero *** empty log message ***
Tue, 16 Jul 2002 06:43:06 +0000 Juanma Barranquero (timer-set-time, timer-set-time-with-usecs): Fix docstring.
Tue, 16 Jul 2002 01:00:43 +0000 Miles Bader (HTML Mode): Put `@end table' at end of table.
Mon, 15 Jul 2002 21:04:59 +0000 Stefan Monnier *** empty log message ***