| commit | 72f172069566c7fb61c35861611e87beca0836a1 | [log] [tgz] |
|---|---|---|
| author | Ed Merks <ed.merks@gmail.com> | Fri Apr 07 21:05:07 2017 +0200 |
| committer | Ed Merks <ed.merks@gmail.com> | Fri Apr 07 21:05:07 2017 +0200 |
| tree | a6674f1449adc9ff6d910c77256f0274cdc79405 | |
| parent | 2b3e89d385519f96fd7c5fadd2dbcd437a54552f [diff] |
[514947] Resources loaded from platform:/plugin URIs are not considered read-only by EcoreEditor