Create pull_texlive.sh

This commit is contained in:
David Rotermund 2024-10-01 18:11:28 +02:00 committed by GitHub
parent cb33c4799a
commit cccdf9dffe
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -0,0 +1 @@
docker pull texlive/texlive:latest-full