Skip to content

Remove PDF images #145977

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hugovk merged 4 commits into from
Jul 5, 2026
+3 −10
Merged

Remove PDF images #145977

Changes from 1 commit
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
6de352c
Remove PDF images
StanFromIreland Mar 15, 2026
2475344
Try fix the `only::`
StanFromIreland Mar 15, 2026
0115175
Maciek's review + remove `turtle-star.ps`
StanFromIreland Jun 22, 2026
93d2fb5
Merge branch 'main' into remove-pdf
StanFromIreland Jun 22, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Merge branch 'main' into remove-pdf
  • Loading branch information
@StanFromIreland
StanFromIreland authored Jun 22, 2026
commit 93d2fb52c9a178d83940285955a258d9bae78107

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.