diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2023-01-28 19:03:33 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2023-01-28 19:03:33 +0100 |
| commit | ae490457aadf191c3d4a5ea1d6ebe25f322f81a9 (patch) | |
| tree | fdd6ded500905d082e866b7ed85848d8d0687159 /.gitignore | |
| parent | 041bc818209a872ed0840a3961fe20fda93f9986 (diff) | |
| download | ekdosis-ae490457aadf191c3d4a5ea1d6ebe25f322f81a9.tar.gz | |
Makefile: use typeoutfileinfo instead of ltxfileinfo
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions