diff options
| author | Gitea <gitea@fake.local> | 2020-01-16 06:17:41 +0000 |
|---|---|---|
| committer | Gitea <gitea@fake.local> | 2020-01-16 06:17:41 +0000 |
| commit | 88b079a22b99332cf1d5f11cf091e88bda74f763 (patch) | |
| tree | 535b06e19978a94f34d549e7b688c12d993f2023 /format.tex | |
| parent | 13d17c4b0bd351d4013a15b625b79f4c46e1e965 (diff) | |
improves portability of the script
Diffstat (limited to 'format.tex')
0 files changed, 0 insertions, 0 deletions