ChangeOrientedProgrammingEnvironment/eclipseRecorder — pull request #131 by cdmihai (2014-04-24 22:24:04+00:00)
Title: Priority config

depends on https://github.com/ChangeOrientedProgrammingEnvironment/recorderInfra/pull/8