| commit | a7a6bf16d599bc9a8b110a389d0b60884949f163 | [log] [tgz] |
|---|---|---|
| author | david_williams <david_williams> | Fri Jul 08 21:24:55 2005 +0000 |
| committer | david_williams <david_williams> | Fri Jul 08 21:24:55 2005 +0000 |
| tree | 12a2df9c4aca271e3123dcaf95e9f369603e8d1b | |
| parent | bd21e46425f29a9b5df2d4ce423744d99153074b [diff] |
[103083] The XML editor should be the default for XMI files - and many others