Merge branch xpathcomp-succintbackend-refactor back to trunk
[SXSI/xpathcomp.git] / benchmark / config.ml.in
2009-01-30 kim.