diff options
Diffstat (limited to 'build')
| -rw-r--r-- | build/GWT-VERSION.properties | 2 | ||||
| -rw-r--r-- | build/VERSION.properties | 1 |
2 files changed, 0 insertions, 3 deletions
diff --git a/build/GWT-VERSION.properties b/build/GWT-VERSION.properties deleted file mode 100644 index 420c381f13..0000000000 --- a/build/GWT-VERSION.properties +++ /dev/null @@ -1,2 +0,0 @@ -gwt-version=2.3.0 -gwt-version-dependencies=validation-api-1.0.0.GA.jar, validation-api-1.0.0.GA-sources.jar diff --git a/build/VERSION.properties b/build/VERSION.properties deleted file mode 100644 index e788362ced..0000000000 --- a/build/VERSION.properties +++ /dev/null @@ -1 +0,0 @@ -version=6.7.2
\ No newline at end of file |