git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@84 3cdefd35-fc62-479d...
[SXSI/xpathcomp.git] / options.ml
2009-01-28 kimAdded parsing of command line options to set sample...