commit 7e3f7788d2b8c0babd1b97f72f145dc32c478488
author Dennis Huebner <dennis.huebner@itemis.de> Fri May 30 15:09:42 2014 +0200
committer Dennis Huebner <dennis.huebner@itemis.de> Fri May 30 15:09:42 2014 +0200
tree 51934ade254c1091acb0d58f605032cff91b9953
parent d8ec5db62841d30d99efb656d117f9ae4070f54c

[archive] more releases archived 

downloads/extras-xtext.php

diff --git a/downloads/extras-xtext.php b/downloads/extras-xtext.php
index 809e61b..3175d79 100644
--- a/downloads/extras-xtext.php
+++ b/downloads/extras-xtext.php
@@ -1,7 +1,11 @@
 <?php
 // archived releases
 $oldrels = array(
-	"2.4.0" => "201303201134",
+	"2.5.2" => "201402120812",
+	"2.5.1" => "201402030714",
+	"2.5.0" => "201312110906",
+	"2.4.2" => "201306120542",
+	"2.4.1" => "201304180855",
 	"2.3.0" => "201206120633",
 	"2.2.0" => "201112071226",
 	"2.1.0" => "201111010612",