diff options
author | Benedikt Peetz <benedikt.peetz@b-peetz.de> | 2024-06-17 18:33:43 +0200 |
---|---|---|
committer | Benedikt Peetz <benedikt.peetz@b-peetz.de> | 2024-06-17 18:33:43 +0200 |
commit | 4fcda3344a34df8207f856442cfea1d8895df4db (patch) | |
tree | 27abb035796a1ce0c4c9d6b30f80f8e6e0043556 /headers | |
parent | chore(treewide): Also switch the compiler annotations to `satzung.tex` (diff) | |
download | satzung-4fcda3344a34df8207f856442cfea1d8895df4db.tar.gz satzung-4fcda3344a34df8207f856442cfea1d8895df4db.zip |
fix(satzung.tex): Remove the German "Umlaute" from the file names
This is mostly because `git` shows them as unicode escape sequences, which is sort of weird.
Diffstat (limited to 'headers')
0 files changed, 0 insertions, 0 deletions