Skip to content
GitHub Pages

Remove Makefile var no longer used, typesetters named per example in … #48

Sign in to view logs

Remove Makefile var no longer used, typesetters named per example in …

Remove Makefile var no longer used, typesetters named per example in … #48

Triggered via push December 26, 2023 21:14
@alerquealerque
pushed 60522d5
master
Status Success
Total duration 4m 16s
Artifacts –

deploy.yml

on: push
gh-pages
4m 8s
gh-pages
Fit to window
Zoom out
Zoom in