From a33162ba4654b2edd35d894f533df19f49a3a76a Mon Sep 17 00:00:00 2001 From: Dmitry Jemerov Date: Tue, 24 Mar 2015 17:38:05 +0100 Subject: [PATCH] add build-docs.xml to ant.xml --- .idea/ant.xml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.idea/ant.xml b/.idea/ant.xml index ef097accc82..c497b47b130 100644 --- a/.idea/ant.xml +++ b/.idea/ant.xml @@ -13,5 +13,11 @@ + + + + + + \ No newline at end of file