diff options
author | Benjamin Barenblat <bbarenblat@galois.com> | 2014-03-10 12:58:04 -0700 |
---|---|---|
committer | Benjamin Barenblat <bbarenblat@galois.com> | 2014-03-10 12:58:04 -0700 |
commit | 904f9af6f67b0d0269cd193440aa080896388875 (patch) | |
tree | 33598a72f82cf93da074fbf966dfb9c15f5df453 /bindings/java/build.xml | |
parent | ac4cd66fb3bc1f8683f081c460c6cfb8324499b8 (diff) |
Version bump to 0.2.1
Diffstat (limited to 'bindings/java/build.xml')
-rw-r--r-- | bindings/java/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bindings/java/build.xml b/bindings/java/build.xml index d7abaae..1aaddcd 100644 --- a/bindings/java/build.xml +++ b/bindings/java/build.xml @@ -27,7 +27,7 @@ SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. --> <project name="ppamltracer-java" basedir="." default="link-and-package"> <property name="project.shortname" value="ppamltracer" /> - <property name="project.version" value="0.2.0" /> + <property name="project.version" value="0.2.1" /> <property name="package" value="com.galois.ppaml.tracer" /> <property name="src" location="src" /> |