From 1cea5f5d2d4290b91b272a179a5b747f34919131 Mon Sep 17 00:00:00 2001 From: Adam Dickmeiss Date: Wed, 19 Aug 2015 10:04:51 +0200 Subject: [PATCH] Mention CentOS 7 repo in documentation --- doc/book.xml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/doc/book.xml b/doc/book.xml index 0882990..c6e8f08 100644 --- a/doc/book.xml +++ b/doc/book.xml @@ -77,6 +77,9 @@ url="http://ftp.indexdata.dk/pub/mp-xquery/redhat/centos/6/README">CentOS 6 , CentOS 7 + , + Ubuntu and