Mention CentOS 7 repo in documentation
[mp-xquery-moved-to-github.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 69 .gitignore
-rw-r--r-- 1067 Makefile
-rw-r--r-- 6143 book.xml
m--------- - common
-rw-r--r-- 527 filter_xquery.rnc
-rw-r--r-- 22630 gpl-2.0.xml
-rw-r--r-- 30 local.ent.in
-rw-r--r-- 314 stripref.xsl
-rw-r--r-- 3056 xquery.xml