kframework/k — pull request #441 by dwightguth (2014-05-13 18:55:19+00:00)
Title: add copyright script

@andreistefanescu please review