From b1de769fc3a1f218e326da4b18ffa5a4f5020972 Mon Sep 17 00:00:00 2001 From: Winston Li Date: Sun, 2 Nov 2014 19:13:27 +0000 Subject: [PATCH] Changed generated ant .xml file to build.xml. --- services/git-bridge/.idea/ant.xml | 6 +- services/git-bridge/.idea/workspace.xml | 76 ++++++++++++------- .../{writelatex-git-bridge.xml => build.xml} | 0 3 files changed, 49 insertions(+), 33 deletions(-) rename services/git-bridge/{writelatex-git-bridge.xml => build.xml} (100%) diff --git a/services/git-bridge/.idea/ant.xml b/services/git-bridge/.idea/ant.xml index f155e4c70f..f6e673adc2 100644 --- a/services/git-bridge/.idea/ant.xml +++ b/services/git-bridge/.idea/ant.xml @@ -1,7 +1,3 @@ - - - - - + diff --git a/services/git-bridge/.idea/workspace.xml b/services/git-bridge/.idea/workspace.xml index a8de1411a8..a9705db1de 100644 --- a/services/git-bridge/.idea/workspace.xml +++ b/services/git-bridge/.idea/workspace.xml @@ -2,10 +2,7 @@ - - - @@ -28,20 +25,30 @@ - + - + + + + + + + + + + + - + @@ -91,7 +98,7 @@ - + @@ -101,7 +108,7 @@ - + @@ -190,7 +197,6 @@ - @@ -349,6 +355,7 @@ + @@ -456,6 +463,19 @@ + + + - - -