Repository navigation

Remove GNU make-specific directive from Makefile - #1362

Merged

hugovk merged 2 commits into

python:mainfrom

hugovk:rm-gnu-make

Aug 4, 2024

Merged

Remove GNU make-specific directive from Makefile#1362
hugovk merged 2 commits into
python:mainfrom
hugovk:rm-gnu-make

Commits on Aug 4, 2024
- Remove GNU make-specific directive from Makefile
  hugovk
  committed
  8f67b15
- Remove 'make serve' stub
  hugovk
  committed
  494e589