| commit | c7c269ed840d5dc6a7b0d19012a5d138d4ea602e | [log] [tgz] |
|---|---|---|
| author | Lorenzo Bettini <lorenzo.bettini@gmail.com> | Tue Jul 05 10:55:30 2016 +0200 |
| committer | Lorenzo Bettini <lorenzo.bettini@gmail.com> | Tue Jul 05 10:55:30 2016 +0200 |
| tree | 5c3cdee88dbfab174cb5e24a15d20cfe501ccc51 | |
| parent | c29709ddc0e1229b6dc892980420ef6fcd38b388 [diff] |
add repo properties only when releasing To avoid problems in standard builds due to load repository http://download.eclipse.org/webtools/releng/repository Change-Id: I21ffa323b5d6f1426a3dd4c5d7fa998bf13b251e