BaseName: stat_timer Version: 1.0 Description: Test statistics-interval timer. CreationDate: Tue Feb 5 14:41:10 CET 2008 Maintainer: dr. W.C.A. Wijngaards Category: Component: CmdDepends: Depends: Help: Pre: stat_timer.pre Post: stat_timer.post Test: stat_timer.test AuxFiles: Passed: Failure: