From: Kim Nguyễn Date: Sun, 21 Oct 2012 07:54:08 +0000 (+0200) Subject: Merge branch 'master' into pretty-print X-Git-Url: http://git.nguyen.vg/gitweb/?p=SXSI%2Fxpathcomp.git;a=commitdiff_plain;h=28e780c2b3b259a8696a44be932572b91f69583c Merge branch 'master' into pretty-print New merge to add the forgotten src/config.ml --- 28e780c2b3b259a8696a44be932572b91f69583c