summary refs log tree commit diff stats
path: root/headers
diff options
context:
space:
mode:
authorBenedikt Peetz <benedikt.peetz@b-peetz.de>2024-06-17 18:33:43 +0200
committerBenedikt Peetz <benedikt.peetz@b-peetz.de>2024-06-17 18:33:43 +0200
commit4fcda3344a34df8207f856442cfea1d8895df4db (patch)
tree27abb035796a1ce0c4c9d6b30f80f8e6e0043556 /headers
parentchore(treewide): Also switch the compiler annotations to `satzung.tex` (diff)
downloadsatzung-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