kframework/k — pull request #741 by dwightguth (2014-07-21 19:02:09+00:00)
Title: fix colors that were broken by krun branch :(

@osa1 please review