Skip to content

Replace Makefile with tox#383

Merged
geertjanvdenbosch merged 2 commits intomasterfrom
improve-developer-setup
Oct 9, 2025
Merged

Replace Makefile with tox#383
geertjanvdenbosch merged 2 commits intomasterfrom
improve-developer-setup

Commits

Commits on Oct 9, 2025