MPS Support | JetBrains

Pedro Mello

Total activity 6
Last activity June 06, 2023 20:23
Member since June 04, 2023 00:20
Following 0 users
Followed by 0 users
Votes 2
Subscriptions 1

Pedro Mello commented, June 06, 2023 14:41
Thank you for the answer Vaclav. Still, if I could provide some feedback, it would be that the current format deters external contributors wishing to make any substancial work, and it isolates a s...
- 0 votes
Pedro Mello commented, June 04, 2023 17:49
Thanks for the answer Maria. Wouldn’t it be possible to make the documentation open by shoving it in the MPS repo under /docs or someplace else, and allow to be contributed just like many other OSS...
- 0 votes
Pedro Mello created a post, June 04, 2023 00:20
Contributing to Documentation

Hi, I’ve been trying to find a way to contribute to the official documentation (fix small typos, links, etc) but I haven’t found a way yet. Is there any available contributing guide to the docs?
1. Community
2. MPS
- 9 followers
- 6 comments
- 0 votes