comparison linux/lrmi.c @ 4844:76acf5bbda78

exclude benchmark stuff execution from normal playback
author nick
date Sun, 24 Feb 2002 17:10:06 +0000
parents f0f681ef92ff
children
comparison
equal deleted inserted replaced
4843:00c875a22d10 4844:76acf5bbda78