Commit 83c2350e authored by Anssi Piirainen's avatar Anssi Piirainen
Browse files

Fix for gitbot to distinguish between the flash and JS controls plugins.

parent 9bf06cb6
......@@ -97,7 +97,7 @@
</target>
<target name="write-dist-info">
<echo file="${dist-file}" append="true" message="${basename}:${line.separator}" />
<echo file="${dist-file}" append="true" message="${basename}.js:${line.separator}" />
<echo file="${dist-file}" append="true" message=" folder: ${basename}${line.separator}" />
<echo file="${dist-file}" append="true" message=" files:${line.separator}" />
<echo file="${dist-file}" append="true" message=" - ${basename}-${version}.js${line.separator}" />
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment