projects / SXSI / xpathcomp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ae9f44d) | patch
Fix the help message and display of options.
authorkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Fri, 9 Sep 2011 19:26:08 +0000 (19:26 +0000)
committerkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Fri, 9 Sep 2011 19:26:08 +0000 (19:26 +0000)
commita3f00ceeb7a1c6de24cb255485b9466a74b78392
tree8ff613582bdab1bd9a7c452962f6b71107cb8616tree | snapshot
parentae9f44db089434da997595098d8c705a71488501commit | diff
Fix the help message and display of options.

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1118 3cdefd35-fc62-479d-8e8d-bae585ffb9ca
src/options.ml diff | blob | history
XPath Library based on tree automata.