From dd7e89d0faf71534d75aaf2f519292ea94e9e7ea Mon Sep 17 00:00:00 2001 From: Dmitry Jemerov Date: Thu, 11 Feb 2016 17:17:44 +0100 Subject: [PATCH] relaxng is not a plugin --- .idea/modules.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.idea/modules.xml b/.idea/modules.xml index e96a518120f8..15c4ae1ce18a 100644 --- a/.idea/modules.xml +++ b/.idea/modules.xml @@ -208,7 +208,7 @@ - +