From 800d72cd8197061c5b8c6b6bb9695c6eba152f15 Mon Sep 17 00:00:00 2001 From: Adam Dickmeiss Date: Tue, 18 Aug 2015 13:42:24 +0000 Subject: [PATCH] Add CentOS 7, remove obsolete Ubuntu --- IDMETA | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/IDMETA b/IDMETA index b4656a0..f9de033 100644 --- a/IDMETA +++ b/IDMETA @@ -1,5 +1,5 @@ NAME=mp-sparql DEBIAN_DIST="jessie wheezy" -UBUNTU_DIST="utopic trusty saucy precise" -CENTOS_DIST="centos5 centos6" +UBUNTU_DIST="vivid utopic trusty precise" +CENTOS_DIST="centos5 centos6 centos7" VERSION=0.6 -- 1.7.10.4