2 Commits

Include renames

Author	SHA1	Message	Date
Jakob AckermannandCopybot	d483211677	Merge pull request #11909 from overleaf/jpa-update-build-scripts ... [misc] update build scripts GitOrigin-RevId: 1f7c62365190f70daeeff7909ee825b04aa864db	2023-02-22 09:03:57 +00:00
Alf EatonandCopybot	ee85d948e2	Avoid duplicating a math-closing dollar sign (#11227) ... GitOrigin-RevId: ef2ef77e26df59d1af3df6dc664e284d3c70102d	2023-01-16 08:41:42 +00:00