diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2024-06-30 22:59:27 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-06-30 22:59:27 +0200 |
commit | 191a8ccfbcb4b566dfba3be4776374c894f24091 (patch) | |
tree | d055d4e4ab7225dff101f04a7d96a8d1a17faab9 /pkgs/misc/sagetex | |
parent | 9d2357782b69013baabc5a4ce26617d25d9546cb (diff) | |
parent | dfbae770f6231cf0fba1f4bb8893648a014dae20 (diff) |
Merge pull request #323233 from LeSuisse/doxygen-polyfill.io-bad-actor
[23.11] doxygen: apply patch removing the usage of polyfill.io
Diffstat (limited to 'pkgs/misc/sagetex')
0 files changed, 0 insertions, 0 deletions