| commit | ff1e95e17e7538dc4120136b4b16131649d4ca79 | [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 | 2ed2ae7802c27b90b5e403a40cc60e950d5297fe | |
| parent | 47513d667911e75d7cc3a4fe9b18a05a54ac3d0f [diff] |
examples zip is optional
diff --git a/tmf/downloads/index.php b/tmf/downloads/index.php index dd1db51..def3f45 100755 --- a/tmf/downloads/index.php +++ b/tmf/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", );