projects / SXSI / xpathcomp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f9ae94d) | patch
Comment out unused options.
authorkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Fri, 9 Sep 2011 16:01:51 +0000 (16:01 +0000)
committerkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Fri, 9 Sep 2011 16:01:51 +0000 (16:01 +0000)
commit3c54231a8b01bd8e3ea3e3d8e5efa812153c5283
tree464da8d558923dbd4b3738142334989bd69392eetree | snapshot
parentf9ae94d85120129130e9e9ddf9c832c5e92c3cddcommit | diff
Comment out unused options.

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