scala-ide/scala-ide — pull request #668 by dragos (2014-04-07 09:57:34+00:00)
Title: Filter deleted resources from the files passed to zinc.

Fixed #1002070