f49cec95da299053d4c2db7c4dfd6e0a0a6d0ee7 - gerrit/www.eclipse.org/gef - Git at Google

commit: f49cec95da299053d4c2db7c4dfd6e0a0a6d0ee7
[log]
author: mwienand <matthias.wienand@itemis.de>
Wed Jun 27 10:59:36 2018 +0200
committer: mwienand <matthias.wienand@itemis.de>
Wed Jun 27 10:59:41 2018 +0200
tree: 89546a988fa9c073f9d51ecad38e9767fe9fd098
parent: 8ac942e9edb37408972993d64a81319b50b1d709 [diff]

Fix download path for archived 4.1.0.

downloads/extras-gef.php[diff]

1 file changed

tree: 89546a988fa9c073f9d51ecad38e9767fe9fd098