Merge branch 'master' of ssh://git.nguyen.vg/home/kim/repository/SXSI/xpathcomp
authorKim Nguyễn <kn@lri.fr>
Fri, 12 Oct 2012 14:08:04 +0000 (16:08 +0200)
committerKim Nguyễn <kn@lri.fr>
Fri, 12 Oct 2012 14:08:04 +0000 (16:08 +0200)

Trivial merge