summaryrefslogtreecommitdiff
path: root/Master/tlpkg
AgeCommit message (Expand)Author
2022-09-18autoupdateKarl Berry
2022-09-17tl-update-autoKarl Berry
2022-09-17autoupdateKarl Berry
2022-09-16tl-update-autoKarl Berry
2022-09-16autoupdateKarl Berry
2022-09-16udes-genie-these (16sep22)Karl Berry
2022-09-15tl-update-autoKarl Berry
2022-09-15autoupdateKarl Berry
2022-09-15photobook (15sep22)Karl Berry
2022-09-15opencolor (15sep22)Karl Berry
2022-09-14tl-update-autoKarl Berry
2022-09-14autoupdateKarl Berry
2022-09-14ppt-slides (14sep22)Karl Berry
2022-09-14piton (14sep22)Karl Berry
2022-09-14luatruthtable (14sep22)Karl Berry
2022-09-14(make_container): try to do ls -l as warning if something isKarl Berry
2022-09-13tl-update-autoKarl Berry
2022-09-13autoupdateKarl Berry
2022-09-13wheelchart (13sep22)Karl Berry
2022-09-12tl-update-autoKarl Berry
2022-09-12autoupdateKarl Berry
2022-09-12biber-muslKarl Berry
2022-09-12textcsc (12sep22)Karl Berry
2022-09-11tl-update-autoKarl Berry
2022-09-11autoupdateKarl Berry
2022-09-11ppt-slides (11sep22)Karl Berry
2022-09-11Support gswin64c, rename .tlu -> .luaReinhard Kotucha
2022-09-11gpg expiry update doc: more specific keyserver send messageNorbert Preining
2022-09-10tl-update-autoKarl Berry
2022-09-10autoupdateKarl Berry
2022-09-10gpg readme: Add comment on ubuntu gpg server updateNorbert Preining
2022-09-09tl-update-autoKarl Berry
2022-09-09autoupdateKarl Berry
2022-09-09se2thesis (9sep22)Karl Berry
2022-09-08tl-update-autoKarl Berry
2022-09-08autoupdateKarl Berry
2022-09-07tl-update-autoKarl Berry
2022-09-07autoupdateKarl Berry
2022-09-06tl-update-autoKarl Berry
2022-09-06autoupdateKarl Berry
2022-09-05tl-update-autoKarl Berry
2022-09-05autoupdateKarl Berry
2022-09-05ufrgscca (5sep22)Karl Berry
2022-09-05rebuild ghostscript with static linkAkira Kakuto
2022-09-05typo; do not check m-tx, magicwatermarkKarl Berry
2022-09-04tl-update-autoKarl Berry
2022-09-04autoupdateKarl Berry
2022-09-04democodetools (4sep22)Karl Berry
2022-09-03tl-update-autoKarl Berry
2022-09-03autoupdateKarl Berry