MPS project files not properly checked in #1
Description
I have cloned the repository but can't open it in MPS, because it seems to lack the .mps directory. Maybe forgot to add some files to git?
{{ message }}
I have cloned the repository but can't open it in MPS, because it seems to lack the .mps directory. Maybe forgot to add some files to git?