kframework/k — pull request #929 by osa1 (2014-09-04 12:23:48+00:00)
Title: remove temp directory .k

Resolves #798.

I remember some files in `.k` were actually used for something useful(caching etc.) but apparently those files are now moved to `-kompiled` directory and `.k` can be removed without any side effects.