diff options
author | Benjamin Barenblat <bbarenblat@galois.com> | 2014-03-04 16:21:32 -0800 |
---|---|---|
committer | Benjamin Barenblat <bbarenblat@galois.com> | 2014-03-04 16:26:11 -0800 |
commit | 6681523e3fb3c6170d144346b18d094bf8ff4e75 (patch) | |
tree | d06a7b30522d6fd4a5332e89e9101dd6ea360267 /bindings/java/src/java/com/galois/ppaml/tracer/package-info.java | |
parent | c1bf51b8e23c9f2d8d3147fe259a77b8f202e71a (diff) |
Version bump to 0.2.0
Diffstat (limited to 'bindings/java/src/java/com/galois/ppaml/tracer/package-info.java')
-rw-r--r-- | bindings/java/src/java/com/galois/ppaml/tracer/package-info.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bindings/java/src/java/com/galois/ppaml/tracer/package-info.java b/bindings/java/src/java/com/galois/ppaml/tracer/package-info.java index 7c0d6e5..928e452 100644 --- a/bindings/java/src/java/com/galois/ppaml/tracer/package-info.java +++ b/bindings/java/src/java/com/galois/ppaml/tracer/package-info.java @@ -74,7 +74,7 @@ * * @author Galois, Inc. * - * @version 0.1.0 + * @version 0.2.0 */ package com.galois.ppaml.tracer; |