search

scala-ide / scala-search

Next Scala Search Engine
6 stars 10 forks source link

Sane shortcut. #115

Closed dragos closed 8 years ago

dragos commented 8 years ago

Fix #114

dotta commented 8 years ago

LGTM

:beers: is on you, this was a tough one to review!

ghprb-bot commented 8 years ago

Refer to this link for build results (access rights to CI server needed):

https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-scala-search-validator/62/ https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-scala-search-for-ide-master-2.11.x/64/