Improve index entries.
commitbbb9c4e1babab0b186a2072b74c7cadb0a9770d8
authorRichard M. Stallman <rms@gnu.org>
Sat, 7 Apr 2007 01:57:13 +0000 (7 01:57 +0000)
committerRichard M. Stallman <rms@gnu.org>
Sat, 7 Apr 2007 01:57:13 +0000 (7 01:57 +0000)
treee0eabab9646502b81262f3c4d6224b62d911ddcd
parent25e62ec37e1599ea035f382622da30687cee8e97
Improve index entries.
(Timers): Fix previous change.
lispref/os.texi