kframework/k — pull request #256 by dwightguth (2014-02-28 19:37:16+00:00)
Title: add checkstyle with 1 check (tabs) and fix it so it passes

Tabs are bad. They mess up editors and formatting. So we are going to disallow them.