Skip to content

Remove obsolete serve target from make.bat.#1365

Merged
hugovk merged 1 commit into
python:mainfrom
ezio-melotti:rm-serve-make-bat
Aug 8, 2024
Merged

Remove obsolete serve target from make.bat.#1365
hugovk merged 1 commit into
python:mainfrom
ezio-melotti:rm-serve-make-bat

Remove obsolete `serve` target from `make.bat`.

f48b8bb
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs