kframework/k — pull request #799 by traiansf (2014-08-06 21:10:28+00:00)
Title: FIx Windows line endings regex problem.

@dwightguth please review