* os.texi (Time of Day): Clarify that the microsecond part is
authorChong Yidong <cyd@stupidchicken.com>
Thu, 15 Oct 2009 20:44:36 +0000 (20:44 +0000)
committerChong Yidong <cyd@stupidchicken.com>
Thu, 15 Oct 2009 20:44:36 +0000 (20:44 +0000)
commitedd6a7338fca5928f7bc352f52769f685ebce95e
treed7add190a2fda4efc050e3792e85f7059c438ffa
parent4260b4027e1eff71cf7f1f6b42d163c94e40a5e4
* os.texi (Time of Day): Clarify that the microsecond part is
ignored (Bug#4637).
doc/lispref/ChangeLog
doc/lispref/os.texi