diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-04-08 08:29:30 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-04-08 08:29:30 +0200 |
| commit | cbabddf013fea1c6b86782b3843ff0ccbcba0bd7 (patch) | |
| tree | 73a782b1a28d4924692cb2311a6ceaafc4e79c8c /doc/system/acknowledgements.tex | |
| parent | 3137d8dc13742055e0857b249037fe0430bf9578 (diff) | |
fix #7792
Diffstat (limited to 'doc/system/acknowledgements.tex')
0 files changed, 0 insertions, 0 deletions