some generated files are not marked as eclipse derived e.g.

the risk is that they are added to version control and/or are changed by the user.
So we should also mark them as derived.

all other generated files seem to be marked ok


Submitted by Bernhard Merkle on 12 June 2010 at 11:28

On 12 June 2010 at 13:04 Lennart Kats commented:

It is somewhat unfortunate that those files are not marked as derived right now, but at this point they are required to build a project. This means they have to be checked into version control (see the FAQ). Still, users should get a warning when editing them, so this is not ideal. Issue Spoofax/141 also describes this issue; I’m closing this one as a duplicate.

On 12 June 2010 at 13:04 Lennart Kats closed this issue.

Log in to post comments