kframework/k — pull request #1027 by cos (2014-10-02 14:25:40+00:00)
Title: remove .project from k-core

we can have the external tool builder commited, but having also the .project creates one extra item to ignore manually, as it remains tracked