Age | Commit message (Expand) | Author |
---|---|---|
2023-04-18 | add DD 42 to index | Christian Grothoff |
2022-11-06 | spec signature (for #7427) | Christian Grothoff |
2022-11-03 | update release checklist | Christian Grothoff |
2022-10-22 | -improve checklists | Christian Grothoff |
2022-10-22 | merge checklists | Christian Grothoff |
2022-10-22 | revise release checklist | Christian Grothoff |
2019-11-01 | onboarding -> developer's manual, add checklist | Florian Dold |