commit 3ddc6d3ee106ed50fb2f82baef08babedde95832
author david_williams <david_williams> Mon Sep 15 01:14:43 2008 +0000
committer david_williams <david_williams> Mon Sep 15 01:14:43 2008 +0000
tree 1ea3cbe6554f38dac3804127f4047c3eba309b9d
parent 4e003e6417102a23923083bc99df67c9afd67b57

use 1.5 (to avoid minor warning)

org.eclipse.wtp.releng.versionchecker/build.properties

diff --git a/org.eclipse.wtp.releng.versionchecker/build.properties b/org.eclipse.wtp.releng.versionchecker/build.properties
index 7e6fae1..d1ae68d 100644
--- a/org.eclipse.wtp.releng.versionchecker/build.properties
+++ b/org.eclipse.wtp.releng.versionchecker/build.properties
@@ -5,5 +5,7 @@
                .,\
                plugin.xml,\
                plugin.properties,\
-               referenceData/
+               referenceData/,\
+               doc/,\
+               runVersionLister.bat
 src.includes = doc/