diff options
author | Robert Alessi <alessi@robertalessi.net> | 2023-01-28 20:58:54 +0100 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2023-01-28 20:58:54 +0100 |
commit | adc5f5015dcde68a169af273f9574f3879da7fbd (patch) | |
tree | 6c15c31298eeca5e2d0fcf258736f8dfc7ccb90d /about.html | |
parent | f204896c7441810ad19b138315424b6252c7371c (diff) | |
download | icite-adc5f5015dcde68a169af273f9574f3879da7fbd.tar.gz |
makefile: use typeoutfileinfo instead of ltxfileinfo
Diffstat (limited to 'about.html')
0 files changed, 0 insertions, 0 deletions