gitweb on Svarog
projekti pod git sistemom za održavanje verzija -- projects under the git version control systemdiff --git a/build.xml b/build.xml
--- a/build.xml
+++ b/build.xml
<!-- args can be used to send additional arguments to a script -->
<property name="transf.wsl.args" value="" />
<!-- args can be used to send additional arguments to a script -->
<property name="transf.wsl.args" value="" />
- <property name="metrics.wsl.file" value="src-wsl/metrics.wsl" />
+ <property name="metrics.wsl.file" value="src-wsl/metrics_csv.wsl" />
<property name="metrics.extension" value=".met" />
<property name="tests.dir" value="tests" />
<property name="metrics.extension" value=".met" />
<property name="tests.dir" value="tests" />
<target name="init-time">
<tstamp>
<target name="init-time">
<tstamp>
- <format property="time" pattern="yy-MM-dd--HH-mm-ss"/>
+ <format property="time" pattern="yy-MM-dd--HH-mm-ss-SSS"/>
</tstamp>
</target>
</tstamp>
</target>