projects / SXSI / xpathcomp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 32a3f16) | patch
Don't flush the XML printing buffer if nothing was printed.
authorKim Nguyễn <kn@lri.fr>
Wed, 2 May 2012 12:24:36 +0000 (14:24 +0200)
committerKim Nguyễn <kn@lri.fr>
Wed, 2 May 2012 12:24:36 +0000 (14:24 +0200)
commit4814ef8392dd9197a6bef7d7bc82be4c2b8e7f5d
tree2cf8d374af2f72bbe30f817a0b6e0abb118e1cb6tree | snapshot
parent32a3f16135e1a8f78d7fd7629dc1237e9de686b2commit | diff
Don't flush the XML printing buffer if nothing was printed.
src/nodeSet.ml diff | blob | history
XPath Library based on tree automata.