summaryrefslogtreecommitdiff
path: root/deploy.py
AgeCommit message (Expand)AuthorFilesLines
2023-12-30deploy.py: Add pagefind buildjaseg1-0/+3
2023-03-19Fix headline alignment & deploymentjaseg1-2/+2
2023-03-19Make site mobile-friendly, make code listings prettyjaseg1-1/+4
2021-11-24Polish wifi LED driver postjaseg1-1/+1
2021-08-16deploy.py: use absolute URL instead of remote name for deploymentjaseg1-1/+1
2021-08-16deploy.py: auto-push generated commitjaseg1-0/+1
2021-08-15Fix deploy.py branch handlingjaseg1-4/+4
2021-08-15Update deploy.pyjaseg1-0/+1
2021-08-15Add deploy.pyjaseg1-0/+24