[eclipse-wtp-servertools] Upload new sources

[Gerard Ryan]

commit 0d118efeb0adcb99ca80ba2b1da98fba76e6b3c6
Author: Gerard Ryan <gerard at ryan.lt>
Date:   Fri Oct 11 21:35:08 2013 +0100

    Upload new sources

 .gitignore |    2 ++
 sources    |    5 ++---
 2 files changed, 4 insertions(+), 3 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index 369f6c3..81c1282 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,3 +8,5 @@ eclipse-wtp-servertools-3.4.0-fetched-src.tar.bz2
 /R3_4_2.tar.bz2
 /webtools.servertools-20130502_1436.tar.bz2
 /webtools.servertools-20130529_1709.tar.bz2
+/webtools.servertools-20130830_1134.tar.bz2
+/R3_5_1.tar.bz2
diff --git a/sources b/sources
index a213b04..a1803f7 100644
--- a/sources
+++ b/sources
@@ -1,4 +1,3 @@
-3c2b16b03c7f5ca6a29771dba58bba5e  webtools.servertools-20130502_1436.tar.bz2
+39a4c988bc8c6697743cc30691faaba7  webtools.servertools-20130830_1134.tar.bz2
 a8c3795ab1a76c9fec3b8049aabb9d65  webtools.servertools.docs-20120830_2252.tar.bz2
-7855c96be65497130104bcea4fdd5e5e  R3_4_2.tar.bz2
-60f3b5f9eecc0487cbe0733f514ebcc0  webtools.servertools-20130529_1709.tar.bz2
+8bd90f56e38a9c8ed9b1ae9b5929d582  R3_5_1.tar.bz2