Closed skyluc closed 10 years ago
Test FAILed. Refer to this link for build results: https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-worksheet-validator/35/
retest this please
Test PASSed. Refer to this link for build results: https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-worksheet-validator/37/
LGTM
Fixup for scala-ide/scala-ide#636
Replaces #177