Skip to content

Rename make autobuild to make htmllive#1212

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

Rename `make autobuild` to `make htmllive`#1212
hugovk merged 1 commit intopython:mainfrom
hugovk:make-htmllive

Commits

Commits on Nov 1, 2023