Skip to content

Move PhD auxiliary-file generation out to php/phd#318

Open
lacatoire wants to merge 2 commits into
php:masterfrom
lacatoire:drop-phd-generation
Open

Move PhD auxiliary-file generation out to php/phd#318
lacatoire wants to merge 2 commits into
php:masterfrom
lacatoire:drop-phd-generation

Remove moved PhD files from .gitignore

6976b36
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Build (ja)
succeeded Jul 8, 2026 in 24s