projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 38cbd62) | patch
Fix descendant-or-self (which wrongly looked for elements in the
authorKim Nguyễn <kn@lri.fr>
Sun, 10 Mar 2013 11:33:36 +0000 (12:33 +0100)
committerKim Nguyễn <kn@lri.fr>
Sun, 10 Mar 2013 11:33:36 +0000 (12:33 +0100)
commit9d83bf3832f03462a5d1f451d96e8d30347bf363
tree93759c28777a7cd730031fabcfe450441e651842tree | snapshot
parent38cbd62f27eb7e1f461bc764cc89366557ec0124commit | diff
Fix descendant-or-self (which wrongly looked for elements in the
right sibling of self)
src/xpath/compile.ml diff | blob | history
Tree Automata TOOlkit