1BaseName: stat_timer 2Version: 1.0 3Description: Test statistics-interval timer. 4CreationDate: Tue Feb 5 14:41:10 CET 2008 5Maintainer: dr. W.C.A. Wijngaards 6Category: 7Component: 8CmdDepends: 9Depends: 10Help: 11Pre: stat_timer.pre 12Post: stat_timer.post 13Test: stat_timer.test 14AuxFiles: 15Passed: 16Failure: 17