From: Doni Pracner Date: Thu, 6 Feb 2014 22:57:47 +0000 (+0100) Subject: ant - minor fix, the recorder had a wrong name to stop X-Git-Tag: v0.1.5~21 X-Git-Url: https://svarog.pmf.uns.ac.rs/gitweb/?a=commitdiff_plain;h=da3aa9b750f5e09f1fbc8b4a7a120528cf5c24ef;p=mjc2wsl.git ant - minor fix, the recorder had a wrong name to stop --- diff --git a/build.xml b/build.xml index 10b6915..7fb3ee4 100644 --- a/build.xml +++ b/build.xml @@ -206,7 +206,7 @@ - +