Closed Mailaender closed 9 months ago
Can one of the admins verify this patch?
@Mailaender thank you for PR! Unfortunately I missed it and offered my own https://github.com/eclipse/texlipse/pull/108 Please check if build from master works for you now, and then we can either revive or close this PR
I believe https://ci.eclipse.org/texlipse/job/nightly/ fails because HTTP is forbidden and the repository is redirecting.