[latex3-commits] [latex3/pdfresources] branch 'use-properties' deleted
github at latex-project.org
github at latex-project.org
Fri Nov 17 19:00:12 CET 2023
Repository : https://github.com/latex3/pdfresources
Deleted branch: use-properties
More information about the latex3-commits
mailing list.