kframework/k — pull request #362 by dwightguth (2014-04-11 17:21:21+00:00)
Title: add copyright check for markdown

@radumereuta @grosu please review.