Remove unused function pr_mat()
[SXSI/xpathcomp.git] / utils / conf.ml
2011-09-09 kimMerge branch 'local-ocamlbuild' into local-trunk