kframework/k — pull request #1070 by dwightguth (2014-10-15 15:45:24+00:00)
Title: add unified interface for accessing file system

**do not review yet**