.
authorkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Fri, 30 Jan 2009 05:24:49 +0000 (05:24 +0000)
committerkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Fri, 30 Jan 2009 05:24:49 +0000 (05:24 +0000)
commitff0d1111e34d2aba9b6454e0c95b67bd38ba392c
tree268d2a8341568ef08296395306f50ed496a35836
parentb7760799ea0d052916a0581fb0abe119d49e8a63
.

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@97 3cdefd35-fc62-479d-8e8d-bae585ffb9ca
benchmark/benchmark.ml
benchmark/config.ml [deleted file]
benchmark/config.ml.in [new file with mode: 0644]
benchmark/main.ml