diff debian/config @ 4844:76acf5bbda78

exclude benchmark stuff execution from normal playback
author nick
date Sun, 24 Feb 2002 17:10:06 +0000
parents 0737156ad1f0
children 6746866a94c6
line wrap: on
line diff