changeset 85:c8db7ce22241 8.1.x

Merge with fb/windbg
author Evgeniy.Koshkin
date Mon, 12 Jan 2015 15:50:18 +0400
parents 1147ad4b741a (diff) 2e0b92a9ff26 (current diff)
children fc50962148fa
files agent/src/jetbrains/buildServer/symbols/tools/WinDbgToolsDetector.java
diffstat 1 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.idea/artifacts/deploy.xml	Mon Jan 12 14:40:49 2015 +0300
+++ b/.idea/artifacts/deploy.xml	Mon Jan 12 15:50:18 2015 +0400
@@ -1,6 +1,12 @@
 <component name="ArtifactManager">
   <artifact name="deploy">
     <output-path>$teamcitydistribution/../PluginDev.Data/plugins</output-path>
+    <properties id="ant-postprocessing">
+      <options enabled="true">
+        <file>file://$PROJECT_DIR$/build/ant.build.xml</file>
+        <target>replace-tokens-in-teamcity-plugin-xml</target>
+      </options>
+    </properties>
     <root id="root">
       <element id="artifact" artifact-name="plugin-zip" />
     </root>