projects / SXSI / xpathcomp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 31f256a) | patch
Do not unconditionally flush the current formatting in logger.
authorKim Nguyễn <kn@lri.fr>
Sun, 21 Oct 2012 10:38:25 +0000 (12:38 +0200)
committerKim Nguyễn <kn@lri.fr>
Sun, 21 Oct 2012 10:38:25 +0000 (12:38 +0200)
commit96e2e786eb8c229d9aa4676a7067fd2f0d2e4da9
tree69d7fc645e000824a6bbdc93df3c51900633a18btree | snapshot
parent31f256a6c02a9c5ce2f8b1117738ff5bc818dc60commit | diff
Do not unconditionally flush the current formatting in logger.
Leave that responsibility to the caller.
src/logger.ml diff | blob | history
src/utils.ml diff | blob | history
XPath Library based on tree automata.