git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@294 3cdefd35-fc62-479d...
[SXSI/xpathcomp.git] / benchmark / config.ml.in
2009-01-30 kim.