8000 Rename `make autobuild` to `make htmllive` by hugovk · Pull Request #1212 · python/devguide · GitHub
[go: up one dir, main page]
Skip to content

Rename make autobuild to make htmllive#1212

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

Commits

Commits on Nov 1, 2023
0