From: martin f. krafft Date: Thu, 31 Oct 2019 02:59:17 +0000 (+1300) Subject: rename workstation to texlive X-Git-Url: https://git.madduck.net/etc/myrepos.git/commitdiff_plain/6a92695e4ebf2b3b49ea8fc729d3316a91c44c22?ds=inline;hp=6a92695e4ebf2b3b49ea8fc729d3316a91c44c22 rename workstation to texlive ---