ChangeOrientedProgrammingEnvironment/recorderInfra — pull request #8 by cdmihai (2014-04-24 22:23:34+00:00)
Title: Priority config

If the permanent and the workspace config-install differ, the permanent one is copied over the workspace one