pivotal/pivotal_ide_prefs — pull request #13 by thewoolleyman (2014-12-26 19:46:38+00:00)
Title: update for rubymine 7 defaults

Fixes issue https://github.com/pivotal/pivotal_ide_prefs/issues/11