commit | 2758626b9ba194b230de7c4c1925ef28fb63c101 | [log] [tgz] |
---|---|---|
author | dhubner <dhubner> | Thu Nov 29 12:38:29 2012 +0000 |
committer | dhubner <dhubner> | Thu Nov 29 12:38:29 2012 +0000 |
tree | 250247f1c898cccb87adfc29fc22e0e602a1cf90 | |
parent | 9a34714b854a14ff76256c4bfc78dea064f946c3 [diff] |
examples zip is optional
diff --git a/downloads/index.php b/downloads/index.php index dd1db51..def3f45 100755 --- a/downloads/index.php +++ b/downloads/index.php
@@ -9,7 +9,8 @@ /* zips that are allowed to be absent from the downloads page (eg., new ones added/removed mid-stream) */ $extraZips = array( "tmf-xtext-gwt", - "tmf-xtext-Automated-Tests", + "tmf-xtext-examples", + "tmf-xtext-Automated-Tests", "tmf-xtext-automated-tests", );