(Time Parsing, Processor Run Time): Fix last change.
commit3051e4bf2c9288b75c83661bb53459acf38f1dc6
authorEli Zaretskii <eliz@gnu.org>
Sat, 18 Oct 2008 09:40:45 +0000 (18 09:40 +0000)
committerEli Zaretskii <eliz@gnu.org>
Sat, 18 Oct 2008 09:40:45 +0000 (18 09:40 +0000)
treed3d06c407b7270a219efe90500e0d40b70a89d76
parentfac5dc61dbee2378a881be28e8ff234a3c5b8839
(Time Parsing, Processor Run Time): Fix last change.
doc/lispref/os.texi