[project @ 2001-05-08 08:55:17 by simonmar]
authorsimonmar <unknown>
Tue, 8 May 2001 08:55:18 +0000 (08:55 +0000)
committersimonmar <unknown>
Tue, 8 May 2001 08:55:18 +0000 (08:55 +0000)
commitdc673bca305b43342b864445539b49c353dd6a10
tree07cd51bb5f093e3b0013675328840904281bb540
parentcb549949a282cbf5c8eed33f98c4bcb8109d257a
[project @ 2001-05-08 08:55:17 by simonmar]
Drop in CPUTime library replacement.  Still needs to be ported to
Win32.
ghc/lib/std/CPUTime.hsc [new file with mode: 0644]
ghc/lib/std/CPUTime.lhs [deleted file]
ghc/lib/std/cbits/getCPUTime.c [deleted file]
ghc/lib/std/cbits/stgio.h