eclipse-color-theme/eclipse-color-theme — pull request #122 by askreet (2013-03-23 11:28:54+00:00)
Title: Added mapping file for Geppetto's Puppet DSL Editor

Subject says it all.