From 36bb2242f6971df71f995f29f5f39e80c9c08034 Mon Sep 17 00:00:00 2001
From: Richard North <rich.north@gmail.com>
Date: Sun, 24 Apr 2016 16:32:16 +0100
Subject: [PATCH] Disable virtuoso module - see #136

---
 pom.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 6e4870c454f..488705b8ed2 100644
--- a/pom.xml
+++ b/pom.xml
@@ -148,7 +148,6 @@
         <module>modules/postgresql</module>
         <module>modules/selenium</module>
         <module>modules/nginx</module>
-		<module>modules/virtuoso</module>
     </modules>
 
     <profiles>