From: Doni Pracner <quinnuendo@gmail.com>
Date: Thu, 5 Jul 2018 00:37:37 +0000 (+0200)
Subject: make log times even more specific
X-Git-Tag: v1.0.0~8
X-Git-Url: http://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=commitdiff_plain;h=2ec468dcc1c816167ec473345966b33317952e1d;hp=4a6f2c29f278c0f08ad9670e2ac9878b0c17c2df

make log times even more specific
---

diff --git a/build.xml b/build.xml
index ee686f5..f785557 100644
--- a/build.xml
+++ b/build.xml
@@ -100,7 +100,7 @@
 
     <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>