Closed davidfestal closed 7 years ago
This is a fix for ceylon/ceylon-ide-eclipse#1866
This may have the impact that a full build is performed at startup more frequently though.
@dfserli what did you need me to review here?
Thanks @davidfestal !
This is a fix for ceylon/ceylon-ide-eclipse#1866
This may have the impact that a full build is performed at startup more frequently though.