]>
| author | Peter Schaefer <schaeferpm@gmail.com> | |
| Wed, 2 Jan 2019 17:24:58 +0000 (18:24 +0100) | ||
| committer | Peter Schaefer <schaeferpm@gmail.com> | |
| Wed, 2 Jan 2019 17:24:58 +0000 (18:24 +0100) |
| text-output.pdf | patch | blob | history | |
| text-output.tex | patch | blob | history |