Henrik Grimler 13147dbd80 texlive: remove no longer needed file lists		2018-05-13 01:06:42 +02:00
..
build.sh	…
fmtutil.cnf.patch	…
texlive-texmf.list	…