We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
2.2. Getting hold of the MPS Kit says:
Download the latest MPS Kit release from https://www.ravenbrook.com/project/mps/release/.
But since Perforce Divorce we should be directing people to https://github.com/Ravenbrook/mps/releases
The text was updated successfully, but these errors were encountered:
Release 1.118.0 listed at https://www.ravenbrook.com/project/mps/release/ does correctly refer to GitHub, so this is not very urgent.
We may decide to maintain a releases index in addition to https://github.com/Ravenbrook/mps/releases .
Sorry, something went wrong.
This issue is part of #98
We need to make sure the releases page is updated correctly by the release procedure. See #125
rptb1
No branches or pull requests
2.2. Getting hold of the MPS Kit says:
But since Perforce Divorce we should be directing people to https://github.com/Ravenbrook/mps/releases
The text was updated successfully, but these errors were encountered: