Henry Oswald e46b6563c0 change override to leave image name so it works for wl_texlive

2018-07-16 17:25:14 +01:00

..

clsi

change override to leave image name so it works for wl_texlive

2018-07-16 17:25:14 +01:00