search

scala-ide / scala-search

Next Scala Search Engine
6 stars 10 forks source link

Updates for the deletion of EclipseUserSimulator #97

Closed skyluc closed 10 years ago

skyluc commented 10 years ago

It is a follow up on scala-ide/scala-ide#775

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/40/

kiritsuku commented 10 years ago

s/delection/deletion/

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/41/

kiritsuku commented 10 years ago

LGTM