summaryrefslogtreecommitdiff
path: root/Build/source/utils/asymptote
AgeCommit message (Expand)Author
2022-01-12tl-update-autoKarl Berry
2022-01-08asy 2.75 sourcesKarl Berry
2022-01-07tl-update-autoKarl Berry
2021-12-28tl-update-autoKarl Berry
2021-12-27tl-update-autoKarl Berry
2021-12-15tl-update-autoKarl Berry
2021-08-22tl-update-autoKarl Berry
2021-07-05tl-update-autoKarl Berry
2021-07-01tl-update-autoKarl Berry
2021-05-25tl-update-autoKarl Berry
2021-05-06tl-update-autoKarl Berry
2021-03-15asy 2.70 sourcesKarl Berry
2021-03-13tl-update-autoKarl Berry
2021-02-25remove tmpdir workaround, complete files from https://github.com/vectorgraphi...Karl Berry
2021-02-25compiler warning patch https://github.com/vectorgraphics/asymptote/commit/71d...Karl Berry
2021-02-25restore Build,TODO from r57911Karl Berry
2021-02-25French translation for tlmgr updatedDenis Bitouzé
2021-02-19asy 2.69 sourcesKarl Berry
2021-01-27tl-update-autoKarl Berry
2021-01-09tl-update-autoKarl Berry
2021-01-07tl-update-autoKarl Berry
2021-01-02patch to avoid requiring libcurlKarl Berry
2021-01-02asy 2.68 sourcesKarl Berry
2020-12-26tl-update-autoKarl Berry
2020-12-25tl-update-autoKarl Berry
2020-12-04tl-update-autoKarl Berry
2020-11-22tl-update-autoKarl Berry
2020-11-16tl-update-autoKarl Berry
2020-11-15tl-update-autoKarl Berry
2020-11-13tl-update-autoKarl Berry
2020-11-09tl-update-autoKarl Berry
2020-10-23tl-update-autoKarl Berry
2020-10-16tl-update-autoKarl Berry
2020-09-28tl-update-autoKarl Berry
2020-09-21tl-update-autoKarl Berry
2020-09-09tl-update-autoKarl Berry
2020-08-18tl-update-autoKarl Berry
2020-07-27tl-update-autoKarl Berry
2020-07-14tl-update-autoKarl Berry
2020-07-11tl-update-autoKarl Berry
2020-06-29tl-update-autoKarl Berry
2020-06-28tl-update-autoKarl Berry
2020-06-22tl-update-autoKarl Berry
2020-06-19tl-update-autoKarl Berry
2020-06-16tl-update-autoKarl Berry
2020-05-06tl-update-autoKarl Berry
2020-04-27tl-update-autoKarl Berry
2020-04-26tl-update-autoKarl Berry
2020-03-26asy 2.65 sourcesKarl Berry
2020-03-04asy 2.64 sourcesKarl Berry