log TOOLS/benchmark-gab/benchmark @ 11574:5b9e66e50cdc

age author description
2003-10-25 diego -vop ---> -vf
2002-08-31 gabucino some fixes
2002-08-31 gabucino v0.91
2002-08-30 gabucino v0.9 of my compile+benchmark script, designed for my local boxes, shared on