newcontext/pivotal_workstation — pull request #2 by mohangk (2012-12-19 09:06:18+00:00)
Title: Pull down nicer terminal fonts

cause we want more sexy terminal fonts