Make sure that time reports appear in decimal notation.
authorChris Hanson <org/chris-hanson/cph>
Thu, 7 Dec 1989 05:39:36 +0000 (05:39 +0000)
committerChris Hanson <org/chris-hanson/cph>
Thu, 7 Dec 1989 05:39:36 +0000 (05:39 +0000)
commit223577a122c2f144f0a240e2d487427ec58bbe28
tree73f64deb9af85d79f280fe320582bac86223c602
parent3b372c812d0366f7e7cbfedbd90466ddc90c2255
Make sure that time reports appear in decimal notation.
v7/src/sf/toplev.scm
v8/src/sf/toplev.scm