kframework/k — pull request #336 by dwightguth (2014-04-02 18:23:23+00:00)
Title: enforce copyright notice on all files modified in any commit

Once this is merged I will add the Jenkins integration functionality. This will break any pull request testing which hasn't merged this change yet, so I suggest you do so immediately following this merge.