Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2021-07-16 | Last changes to changes letter | jaseg | 1 | -3/+4 | |
2021-07-16 | Finish changes letter | jaseg | 1 | -16/+17 | |
2021-07-16 | Mehr Schleim. | jaseg | 1 | -1/+3 | |
2021-07-15 | Include Björn's remarks, spellcheck | jaseg | 1 | -21/+27 | |
2021-07-13 | cover letter: fix conference numbering | jaseg | 1 | -1/+1 | |
2021-07-13 | Add dots to cover letter headings | jaseg | 1 | -8/+8 | |
2021-07-13 | Some more minor changes for submission | jaseg | 1 | -1/+2 | |
2021-07-13 | Improve comment handling of diff tool | jaseg | 1 | -2/+3 | |
2021-07-13 | Work on changes letter | jaseg | 1 | -0/+106 | |