CONTRIBUTING.md · e74d8836549c19fbd0133fee203de08a6328d370 · general / stups / tlatools · GitLab

Add clearer link to nightly builds in Github repo. · 1fcc471e
Markus Alexander Kuppe authored Jan 17, 2020
```
Addresses GitHub issue #417
https://github.com/tlaplus/tlaplus/issues/417

[Documentation]
```
1fcc471e

After you've reviewed these contribution guidelines, you'll be all set to contribute to this project.