Age | Commit message (Expand) | Author |
---|---|---|
2023-09-15 | dd deprecations | Florian Dold |
2023-08-07 | consistent titles for design documents | Özgür Kesim |
2022-08-21 | -unify titles | Christian Grothoff |
2022-06-25 | -fix typos | Christian Grothoff |
2021-12-07 | fees fees fees | Christian Grothoff |