From 4e1958256efd75ff3eefbdf43d187c9cc1e691bb Mon Sep 17 00:00:00 2001 From: tn Date: Tue, 13 Jan 2015 11:04:32 +0100 Subject: [PATCH] Enable jacoco again. --- src/site/resources/{profile.jacoco.disabled => profile.jacoco} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/site/resources/{profile.jacoco.disabled => profile.jacoco} (100%) diff --git a/src/site/resources/profile.jacoco.disabled b/src/site/resources/profile.jacoco similarity index 100% rename from src/site/resources/profile.jacoco.disabled rename to src/site/resources/profile.jacoco