moja-global / moja-global/FLINT
Some links in the FLINT document is not working.
Open
@asmijafar20 is already working on this.
Since Oct 11, 2021.
Doc
- Dominant language
- C++
- Stars
- 56
- Forks
- 81
- PR merge metrics
- No merged PRs in 30d
Description
In the section How is FLINT different from earlier integrating tools
Point 1 and 2 links are not working.
In the FAQs some links are not working.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.