kframework/k — pull request #577 by dwightguth (2014-06-10 19:31:51+00:00)
Title: add checkstyle check to assert that line endings are unix-style

@radumereuta please review.

You can test this easily by viewing a couple files to make sure they look correct, then downloading the diff and running `git show --ignore-space-at-eol`