8bbc75c7f227e42b57d2fdf058ceea1bb5a19b8f - gerrit/www.eclipse.org/mmt - Git at Google

commit: 8bbc75c7f227e42b57d2fdf058ceea1bb5a19b8f
[log]
author: wpiers <wpiers>
Thu Jun 07 16:30:58 2012 +0000
committer: wpiers <wpiers>
Thu Jun 07 16:30:58 2012 +0000
tree: e638d6ea151eb5c614ec326ceda65423938f1d85
parent: 81b61b9dd228eb4b289f38eec0cf8acb1f9d47e9 [diff]

workaround: direct link to zips update sites

downloads/extras-atl.php[diff]

1 file changed

tree: e638d6ea151eb5c614ec326ceda65423938f1d85