-
Pekka Pessi authored
Ignore-this: f43d9dcc11fb6a19c3674a6da35ee7ec Timer D is either 32 seconds or 64 times T1, whichever is larger. darcs-hash:20090303134719-db55f-a2598fb8660388f54c4677cbcee2121ada6a047b.gz
3d075e08
Ignore-this: f43d9dcc11fb6a19c3674a6da35ee7ec Timer D is either 32 seconds or 64 times T1, whichever is larger. darcs-hash:20090303134719-db55f-a2598fb8660388f54c4677cbcee2121ada6a047b.gz