diff options
| author | Christian Grothoff <christian@grothoff.org> | 2022-02-12 12:14:17 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2022-02-12 12:14:24 +0100 |
| commit | d581729443de505c7061fa9f95cff67c1e169e0c (patch) | |
| tree | d13184d87343a6c0ecf1fe0e6e5420f655cbf071 /doc/system/acknowledgements.tex | |
| parent | db8cdc8c4c80d305deb7b3b26c8e986d94ef5041 (diff) | |
-removed confused TODOs
Diffstat (limited to 'doc/system/acknowledgements.tex')
0 files changed, 0 insertions, 0 deletions