projects / SXSI / xpathcomp.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e656cec 4de8e95)
Merge branch 'handle-stdout' master
authorKim Nguyễn <kn@lri.fr>
Fri, 26 Oct 2012 12:41:52 +0000 (14:41 +0200)
committerKim Nguyễn <kn@lri.fr>
Fri, 26 Oct 2012 12:41:52 +0000 (14:41 +0200)
Allows to pass - as stdout.

1  2 
src/options.ml patch | diff1 | diff2 | blob | history

diff --cc src/options.ml
Simple merge
XPath Library based on tree automata.