search

scala-ide / scala-search

Next Scala Search Engine
6 stars 10 forks source link

Cleanup obsolete bug workaround introduced for Scala 2.10. #92

Closed huitseeker closed 10 years ago

ghprb-bot commented 10 years ago

Test PASSed. Refer to this link for build results: https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-scala-search-validator/29/

skyluc commented 10 years ago

LGTM