diff options
author | David A. Madore <david+git@madore.org> | 2023-12-15 18:26:59 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2023-12-15 18:26:59 +0100 |
commit | b78097a7a90f975deae2747014a5bb75f0695ff1 (patch) | |
tree | b169e0f3cf2da51ec55500b3dde384b80ffcddd2 /transp-inf110-03-super.tex | |
parent | 98caa0b4b6ec6161334699bbd91488eff78dc535 (diff) | |
download | inf110-lfi-b78097a7a90f975deae2747014a5bb75f0695ff1.tar.gz inf110-lfi-b78097a7a90f975deae2747014a5bb75f0695ff1.tar.bz2 inf110-lfi-b78097a7a90f975deae2747014a5bb75f0695ff1.zip |
Decide that label strings should be in English.
Diffstat (limited to 'transp-inf110-03-super.tex')
0 files changed, 0 insertions, 0 deletions