scala-ide/scala-ide — pull request #149 by dragos (2012-07-11 14:18:27+00:00)
Title: Issue no warning when the Scala library is a project in the workspace

This removes the need to add a dummy library.properties file in the Scala library project.

Effectively, we assume the version in a scala project defined inside the workspace is compatible.