kframework/k — pull request #1064 by osa1 (2014-10-12 10:40:13+00:00)
Title: remove shared .k generation in maude backend

If this works as expected this means that we finally get rid of all dotk directories left on the filesystem.