eclipse-color-theme/eclipse-color-theme — pull request #133 by ghillairet (2013-05-31 16:01:20+00:00)
Title: Add support for the xtend editor (http://eclipse.org/xtend/).

Added a mapping file for the xtend editor, see http://eclipse.org/xtend/.