From 1f08b4bf06a7fe04dcbc13fc45a6a5d4c8a80997 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Carlos=20Mart=C3=ADn?= Date: Thu, 29 Oct 2015 10:58:05 +0100 Subject: [PATCH] Bug #4077: Remove include from user_pool.xsd --- share/doc/xsd/user_pool.xsd | 1 - 1 file changed, 1 deletion(-) diff --git a/share/doc/xsd/user_pool.xsd b/share/doc/xsd/user_pool.xsd index 63672ddfca..fa55bf3f04 100644 --- a/share/doc/xsd/user_pool.xsd +++ b/share/doc/xsd/user_pool.xsd @@ -1,7 +1,6 @@ -