diff options
author | Sven Gothel <[email protected]> | 2013-06-25 23:27:31 +0200 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2013-06-25 23:27:31 +0200 |
commit | 64dcc55a0aadee4ef824cc145e936cd7bc3c1bdd (patch) | |
tree | 9016e5042601b3a738ce5b0c9256df9353fd3825 | |
parent | e946fe33ab21d907e587402572effac4d9aba000 (diff) |
Back to developer version .. (post RC12)
-rwxr-xr-x | make/jogamp-env.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make/jogamp-env.xml b/make/jogamp-env.xml index 110cb33..2c07e87 100755 --- a/make/jogamp-env.xml +++ b/make/jogamp-env.xml @@ -79,8 +79,8 @@ <property name="jogamp.version.major" value="2"/> <property name="jogamp.version.minor" value="0"/> <property name="jogamp.version.submi" value="2"/> - <!-- property name="jogamp.version.devel" value="-rc-${version.timestamp}"/--> <!-- devel tag, blank for release --> - <property name="jogamp.version.devel" value="-rc12"/> <!-- RC tag, blank for release --> + <property name="jogamp.version.devel" value="-rc-${version.timestamp}"/> <!-- devel tag, blank for release --> + <!-- property name="jogamp.version.devel" value="-rc12"/--> <!-- RC tag, blank for release --> <property name="jogamp.version.base" value="${jogamp.version.major}.${jogamp.version.minor}"/> <property name="jogamp.version" value="${jogamp.version.base}.${jogamp.version.submi}${jogamp.version.devel}" /> <echo message="jogamp.version ${jogamp.version}"/> |