fileExtension_derived

Eclipse plugin that handles the derived state of resources from a textual file .derived. See details at http://nodj.github.io/AutoDeriv/