Programming Languages Research Group: Git - jpf-core.git/blob - .idea/.name

projects / jpf-core.git / blob

3836a038de5f7d8924a85779b4789f749efa033c

[jpf-core.git] / .idea / .name

1 jpf-core

Unnamed repository; edit this file 'description' to name the repository.