aboutsummaryrefslogtreecommitdiff
path: root/CONTRIBUTING.md
AgeCommit message (Expand)Author
2020-10-22Update CONTRIBUTING.mdCyril Cohen
2020-06-04fix md formattingReynald Affeldt
2020-06-04fix namingReynald Affeldt
2020-05-04document 'in_' and 'mem_' prefixes for infix membershipChristian Doczkal
2020-04-09move the contents ofReynald Affeldt
2019-11-18Documenting `L` and `R` in `CONTRIBUTING.md`Cyril Cohen
2019-11-14some information about naming conventions for definitions (wip) (#415)affeldt-aist
2018-11-15Add a section on documenting codeAnton Trunov
2018-06-05Update CONTRIBUTING.mdCyril Cohen
2018-06-05Update CONTRIBUTING.mdCyril Cohen
2017-12-11fixing typosCyril Cohen
2017-11-24Draft contributing guide, fixes #158Cyril Cohen
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:43:33 +0000