Skip to main content
summaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/org.eclipse.jet.doc/build.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/org.eclipse.jet.doc/build.xml b/doc/org.eclipse.jet.doc/build.xml
index efe3cb9..cbf2f2e 100644
--- a/doc/org.eclipse.jet.doc/build.xml
+++ b/doc/org.eclipse.jet.doc/build.xml
@@ -2,7 +2,7 @@
<project name="org.eclipse.jet.doc" default="build.jars" basedir=".">
<!-- Doc Plug-in version. This is a HACK. Do not forget to update. -->
- <property name="pluginVersion" value="0.7.1"/>
+ <property name="pluginVersion" value="0.7.2"/>
<property name="plugin" value="org.eclipse.jet"/>
<property name="docPlugin" value="org.eclipse.jet.doc"/>

Back to the top