removed automatic .xmi extension insertion
1 file changed
tree: 47e7cf2cdc1d0b90838b7e0f4c363767c0784b08
  1. dsls/
  2. plugins/
  3. syntaxes/