diff options
| author | Benedikt Peetz <benedikt.peetz@b-peetz.de> | 2024-06-17 21:08:33 +0200 |
|---|---|---|
| committer | Benedikt Peetz <benedikt.peetz@b-peetz.de> | 2024-06-17 21:08:33 +0200 |
| commit | 25c9b67396d0aeea1d0df0c2815667189bd8be8c (patch) | |
| tree | 7bd9f385065789933034b791bfc779a761e87227 /scripts/extract_text_from_all.sh | |
| parent | fix(satzung.tex): Switch to the `memoir` class (diff) | |
| download | satzung-25c9b67396d0aeea1d0df0c2815667189bd8be8c.tar.gz satzung-25c9b67396d0aeea1d0df0c2815667189bd8be8c.zip | |
fix(headers/preamble_local): Improve readability of the todo notes
Adding a name is obviously useful, and removing the fancy lines might be hard for some of us, but they obstructed some text, which was counter-productive.
Diffstat (limited to 'scripts/extract_text_from_all.sh')
0 files changed, 0 insertions, 0 deletions