| commit | e9f1c916fc87ff4832682bc478b9d1f453093d79 | [log] [tgz] |
|---|---|---|
| author | alagarde <alex.lagarde@obeo.fr> | Fri Dec 23 14:03:05 2011 +0100 |
| committer | alagarde <alex.lagarde@obeo.fr> | Fri Dec 23 14:03:05 2011 +0100 |
| tree | fec0cf7464f2da76791577fae5cd471afd1d7558 | |
| parent | 4d121a85dcdd7b96cebcfae9da6e871ea522ee04 [diff] |
[bugzilla 365088] Xmi files are not deleted - make sure that Xmi files are correctly deleted when not used any more