merge from 1.8 branch
[bpt/guile.git] / benchmark-guile.in
2002-07-20 Dirk Herrmann* benchmark-guile.in: Copied from check-guile.in and...