diff 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
line wrap: on
line diff