Add option -nw control the wrapping of results in an <xml_result/> node.
authorKim Nguyễn <kn@lri.fr>
Fri, 19 Oct 2012 19:13:06 +0000 (21:13 +0200)
committerKim Nguyễn <kn@lri.fr>
Fri, 19 Oct 2012 19:19:58 +0000 (21:19 +0200)
commit4694574a0dd67cab15d8408007a9665928e6a776
tree22194431bc47c5777c4921ae8568f3e11c38fc0d
parente55eb5e1ceafa840dc1d137d7fae5fb06eac3875
Add option -nw control the wrapping of results in an <xml_result/> node.
src/main.ml
src/nodeSet.ml
src/nodeSet.mli
src/options.ml
src/options.mli