Actually commit the files.
authorkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Wed, 28 Jan 2009 23:45:00 +0000 (23:45 +0000)
committerkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Wed, 28 Jan 2009 23:45:00 +0000 (23:45 +0000)
commit1c5c95673d1d3595f948e5dc674861a1f86b6158
tree4baf334c1bf6ae9d7af68402b84c231760a93168
parent7a84508ebd7b534215a768c771171e8f062e0d0b
Actually commit the files.

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