kframework/k — pull request #1261 by dwightguth (2014-12-15 16:18:20+00:00)
Title: add distributionManagement section to pom

@yilongli please review