ajaxorg/cloud9 — pull request #1008 by janjongboom (2012-02-27 09:35:24+00:00)
Title: Nice fonts on Windows

Fix for ajaxorg/cloud9infra#524 and #340.