Skip to content

Rename make autobuild to make htmllive - #1212

Merged
hugovk merged 1 commit into
python:mainfrom
hugovk:make-htmllive
Nov 1, 2023
Merged

Rename make autobuild to make htmllive#1212
hugovk merged 1 commit into
python:mainfrom
hugovk:make-htmllive

Rename 'make autobuild' to 'make htmllive'

86037cd
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs