tree 5c3cdee88dbfab174cb5e24a15d20cfe501ccc51
parent c29709ddc0e1229b6dc892980420ef6fcd38b388
author Lorenzo Bettini <lorenzo.bettini@gmail.com> 1467708930 +0200
committer Lorenzo Bettini <lorenzo.bettini@gmail.com> 1467708930 +0200

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